404 File not Found
Could not find the file: /42313/1.haslightboxThumbnailVersion/FMCO2.pdf
The file you are trying to access may be related to this item:
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 (2010) Property-Based Testing - The ProTest Project. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 250-271. ISBN 978-3-642-17070-6. E-ISBN 978-3-642-17071-3. (doi:10.1007/978-3-642-17071-3_13) (KAR id:42313)
If you reached this page by following a link within the repository, please contact the Kent Academic Repository administration. Otherwise, please check that you have typed the URL in correctly, or contact the person or site that supplied you with this URL.