Automating Inductive Proofs using Theory Exploration
Paper i proceeding, 2013
Författare
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik
Dan Rosén
Chalmers, Data- och informationsteknik, Programvaruteknik
Moa Johansson
Chalmers, Data- och informationsteknik, Programvaruteknik
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Programvaruteknik
Publicerad i
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7898 LNAI s. 392-406978-3-642-38573-5 (ISBN)
Kategorisering
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier (SSIF 2011)
Programvaruteknik
Identifikatorer
DOI
10.1007/978-3-642-38574-2_27
ISBN
978-3-642-38573-5