PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS. - AMIGHI, AFSHIN; HAACK, CHRISTIAN; HUISMAN, MARIEKE; HURLIN, CLÉMENT (Logical Methods in Computer Science (LMCS), 2015)