Concurrent Contracts for Java in JML

Concurrent Contracts for Java in JML

Authors
W. Araujo, L. Briand and Y. Labiche
Status
Published
Publication type
Proceedings Refereed
Year of publication
2008
Journal
IEEE International Symposium on Software Reliability Engineering (ISSRE)
Publisher
–
Citation key
9584
Google Scholar BibTex