| 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 |
By thinking constantly about it…