[Lecture Notes in Computer Science] FM 2014: Formal Methods Volume 8442 || Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools
Jones, Cliff, Pihlajasaari, Pekka, Sun, JunVolume:
10.1007/97
Year:
2014
Language:
english
DOI:
10.1007/978-3-319-06410-9_6
File:
PDF, 250 KB
english, 2014