Tip: Tools for inductive provers
Paper i proceeding, 2015
Författare
Dan Rosén
Chalmers, Data- och informationsteknik, Programvaruteknik
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Programvaruteknik
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9450 219-232978-3-662-48898-0 (ISBN)
Ämneskategorier
Programvaruteknik
DOI
10.1007/978-3-662-48899-7_16
ISBN
978-3-662-48898-0