[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Formal Proof from UML Models
Davies, Jim, Schulte, Wolfram, Barnett, MikeVolume:
10.1007/b1
Year:
2004
Language:
english
DOI:
10.1007/978-3-540-30482-1_35
File:
PDF, 346 KB
english, 2004