Publikation

Efficient Well-Definedness Checking

Autorenschaft:
Prof. Dr. Farhad D. Mehta, Adam Darvas, Farhad Mehta, Arsenii Rudich, 2008
Herausgeber:
Springer
Zeitschrift / Sammelband:
Automated Reasoning, 4th International Joint Conference, IJCAR 2008 proceedings, Nr.LNCS 5195/2008
Seiten / Kapitel:
100-115
978-3-540-71069-1
zurück