Media type: E-Article Title: Special issue: program equivalence Contributor: Strichman, Ofer Published: Springer Science and Business Media LLC, 2018 Published in: Formal Methods in System Design, 52 (2018) 3, Seite 227-228 Language: English DOI: 10.1007/s10703-018-0318-y ISSN: 0925-9856; 1572-8102 Keywords: Hardware and Architecture ; Theoretical Computer Science ; Software Origination: Footnote: