Author:
Fantechi Alessandro,Gnesi Stefania,Semini Laura
Publisher
Springer International Publishing
Reference12 articles.
1. Lecture Notes in Computer Science;J-R Abrial,1996
2. Lecture Notes in Computer Science,1996
3. Berry, D., Kamsties, E., Krieger, M.: From contract drafting to software specification: Linguistic sources of ambiguity - a handbook version 1.0. (2003)
4. Lecture Notes in Computer Science;E Börger,1995
5. Lecture Notes in Computer Science;E Börger,2003