Unifying Correctness Statements
Erstveröffentlichung
2012Editor
Gibbons, J.Nogueira, P.
Beitrag zu einer Konferenz
Published in
Mathematics of Program Construction. - Berlin ; Heidelberg : Springer-Verlag, 2012. - (Lecture Notes in Computer Science ; 7342). - S. 198-219. - ISBN 978-3-642-31112-3, ISBN 978-3-642-31113-0
Link to publication
https://dx.doi.org/10.1007/978-3-642-31113-0_11Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauConference
International Conference on Mathematics of Program Construction, 2012-06-25 - 2012-06-27, Madrid