Harald Taylor
External collaborator
Publications
Simula-affiliated publications listed
2011
Proceedings, refereed
Read Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language
W. Araujo, L. Briand and Y. Labiche
Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language
ACM/IEEE Int. Conference on Software Engineering (ICSE)