Program specialization via a software verification tool
Paper i proceeding, 2011
Författare
Richard Bubel
Chalmers, Data- och informationsteknik, Programvaruteknik
Reiner Hähnle
Chalmers, Data- och informationsteknik, Programvaruteknik
Ran Ji
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. 6957 s. 80-101978-364225270-9 (ISBN)
Kategorisering
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
Identifikatorer
DOI
10.1007/978-3-642-25271-6_5
ISBN
978-364225270-9