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)
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Categorizing
Subject Categories (SSIF 2011)
Software Engineering
Computer Science