pdf-format: |
|
@Article{lahiri_et_al:DR:2018:9758, author = {Shuvendu K. Lahiri and Andrzej Murawski and Ofer Strichman and Mattias Ulbrich}, title = {{Program Equivalence (Dagstuhl Seminar 18151)}}, pages = {1--19}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2018}, volume = {8}, number = {4}, editor = {Shuvendu K. Lahiri and Andrzej Murawski and Ofer Strichman and Mattias Ulbrich}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9758}, URN = {urn:nbn:de:0030-drops-97586}, doi = {10.4230/DagRep.8.4.1}, annote = {Keywords: program equivalence, regression-verification, translation validation} }
Keywords: | program equivalence, regression-verification, translation validation | |
Seminar: | Dagstuhl Reports, Volume 8, Issue 4 | |
Issue date: | 2018 | |
Date of publication: | 02.10.2018 |