*Result*: Automating the diagram method to prove correctness of program transformations
*Title*:
*Author/editor-in-chief*:
*Publication*:
[Erscheinungsort nicht ermittelbar] : EasyChair, August 9, 2018
*Distribution*:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
*Physical description scale*:
1 Online-Ressource (16 Seiten)
*Format*:
*Language*:
*eng*
*series_multipart*:
EasyChair Preprint ; No. 415
*DOI*:
10.29007/vrxp