Authors | W. Araujo, L. Briand and Y. Labiche |
Title | Concurrent Contracts for Java in JML |
Afilliation | Software Engineering, Software Engineering |
Status | Published |
Publication Type | Proceedings, refereed |
Year of Publication | 2008 |
Conference Name | IEEE International Symposium on Software Reliability Engineering (ISSRE) |
Citation Key | Simula.SE.283 |