Formal Program Development: IFIP TC2 State-of-the-Art Report
Erstveröffentlichung
1993Editor
Möller, B.Partsch, H.
Schuman, S.
Buch
Link to publication
https://dx.doi.org/10.1007/3-540-57499-9Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauSeries
Lecture Notes in Computer Science ; 755
Publisher
Berlin : Springer
ISSN
0302-9743
eISSN
1611-3349
ISBN
978-3-540-57499-6 , 978-3-540-48197-3