Treffer: Automating the diagram method to prove correctness of program transformations
Titel:
Beteiligt:
Veröffentlicht:
[Erscheinungsort nicht ermittelbar] : EasyChair, August 9, 2018
Vertrieb:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
Umfang:
1 Online-Ressource (16 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
EasyChair Preprint ; No. 415
DOI:
10.29007/vrxp