PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.

Saved in:

Bibliographic Details
Title:	PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.
Authors:	AMIGHI, AFSHIN¹, a.amighi@utwente.nl, HAACK, CHRISTIAN², christian.haack@aicas.de, HUISMAN, MARIEKE¹, marieke.huisman@ewi.utwente.nl, HURLIN, CLÉMENT, clement.hurlin@provenrun.com
Source:	Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-66, 66p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.2168/LMCS-11(1:2)2015