Finding Counter Examples in Induction Proofs
Paper i proceeding, 2008
Författare
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Datavetenskap
Hans Svensson
Chalmers, Data- och informationsteknik, Datavetenskap
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)