A formalisation of Java Strings for program specification and verification
Paper in proceeding, 2011
Author
Richard Bubel
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
U. Geilmann
Karlsruhe Institute of Technology (KIT)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7041 90-105978-364224689-0 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-642-24690-6_8
ISBN
978-364224689-0