A CNL for Contract-Oriented Diagrams
Paper in proceeding, 2014
Author
John J. Camilleri
University of Gothenburg
Gabriele Paganelli
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Gerardo Schneider
University of Gothenburg
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 8625 135-146978-3-319-10223-8 (ISBN)
DOI
10.1007/978-3-319-10223-8_13
ISBN
978-3-319-10223-8