VSE: Controlling the Complexity in Formal Software Developments
Erstveröffentlichung
1999
Beitrag zu einer Konferenz
Published in
Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), Boppard. - Berlin ; Heidelberg : Springer-Verlag, 1999. - (Lecture Notes in Computer Science ; 1641). - ISBN 978-3-540-66462-8, ISBN 978-3-540-48257-4
Link to publication
https://dx.doi.org/10.1007/3-540-48257-1_26Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauConference
International Workshop on Current Trends in Applied Formal Methods, 1998-10-07 - 1998-10-09, Boppard