Publication
Efficient Well-Definedness Checking
Publisher
Springer
Newspaper/Anthology:
Automated Reasoning, 4th International Joint Conference, IJCAR 2008 proceedings, Nr.LNCS 5195/2008
Pages:
100-115
978-3-540-71069-1
Prof. Dr. Farhad D. Mehta
IFS Institut für SoftwareProfessor of Programming Languages and Software Engineering
+41 58 257 46 16farhad.mehta@ost.ch
