Finding Counter Examples in Induction Proofs
Paper in proceeding, 2008
Author
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Hans Svensson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Subject Categories
Software Engineering
Computer Science