Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon
Property-Based Testing - The ProTest Project.
Formal Methods for Components and Objects, 6286
(Full text available)
Conference or workshop item