Property-Based Testing and Verification: A Catalog of Classroom Examples

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34407-7_9 ◽

2012 ◽

pp. 134-147 ◽

Cited By ~ 2

Author(s):

Rex Page

Download Full-text