AuthorsW. Araujo, L. Briand and Y. Labiche
TitleConcurrent Contracts for Java in JML
AfilliationSoftware Engineering, Software Engineering
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2008
Conference NameIEEE International Symposium on Software Reliability Engineering (ISSRE)
Citation KeySimula.SE.283