학술논문
Software design, specification, and verification: Lessons learned from the Rether case study
Document Type
Conference Paper
Author
Source
In: Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1997, 1349:185-198)
Subject
Language
English
ISSN
16113349
03029743
03029743