Media type: E-Article Title: Software Engineering and Formal Methods: A Formalisation of Java Strings for Program Specification and Verification Contributor: Bubel, Richard; Hähnle, Reiner; Geilmann, Ulrich imprint: Springer Berlin Heidelberg, 2011 Published in: Software Engineering and Formal Methods Language: Not determined DOI: 10.1007/978-3-642-24690-6_8 ISSN: 0302-9743; 1611-3349 Origination: Footnote: