For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

Voigtländer, Janis
Proving Correctness via Free Theorems: The Case of the destroy/build-Rule
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
PEPM'08, San Francisco, California, Proceedings, pages 13-20, ACM Press,
Jahrgang/Erscheinungsjahr
2008
Referiert
Ja
Url/Urn/Doi
http://
Berichtsjahr
2008
Export
Stand: 12.10.2017 16:02 Uhr