[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 9450 || Automated Discovery of Simulation Between Programs
Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, AndreiVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-662-48899-7_42
File:
PDF, 1.50 MB
english, 2015