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