Towards the Automated Verification of Multithreaded Java Programs

Technical Report PDF: 
Technical Report Number: 
2002.7
TitleTowards the Automated Verification of Multithreaded Java Programs
Publication TypeMiscellaneous
Year of Publication2002
AuthorsDelzanno, G, Raskin J-F, Van Begin L