Conference
From Formal Techniques to Well-Founded Software Development Methods.
Authors
Astesiano E; Reggio G; Cerioli M
Editors
Aichernig BK; Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
2757
Pagination
pp. 132-150
Publisher
Springer
Publication Date
January 1, 2002
ISBN-10
3-540-20527-6
Conference proceedings
10th Anniversary Colloquium of UNU/IIST