Program Equivalence (Dagstuhl Seminar 18151)

Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich

Research output: Contribution to journalArticlepeer-review

Original languageAmerican English
Pages (from-to)1-19
Number of pages19
JournalDagstuhl Reports
Volume8
Issue number4
DOIs
StatePublished - 2018

Cite this