Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2007
Chitil, Olaf and Huch, Frank (2007) A Pattern Logic for Prompt Lazy Assertions. In: Horváth, Zoltán and Zsok, Viktoria and Butterfield, Andrew, eds. Implementation and Application of Functional Languages, 18th International Workshop, IFL 2006. Lecture Notes in Computer Science, 4449. Springer, Germany pp. 126-144. ISBN 97835407412909. (doi:https://doi.org/10.1007/978-3-540-74130-5) (Full text available) |