Publikation

Efficient Well-Definedness Checking

Autorenschaft:

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