A Formalisation of Java Strings for Program Specification and Verification.

Richard Bubel, Reiner Hhnle, Ulrich Geilmann

Browse the full SEFM paper archive.