Unifying Correctness Statements
Erstveröffentlichung
2012Herausgeber
Gibbons, J.Nogueira, P.
Beitrag zu einer Konferenz
Erschienen 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 zur Veröffentlichung
https://dx.doi.org/10.1007/978-3-642-31113-0_11Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutionen
Institut für Programmiermethodik und CompilerbauKonferenz
International Conference on Mathematics of Program Construction, 2012-06-25 - 2012-06-27, Madrid