[Lecture Notes in Computer Science] FM 2014: Formal Methods Volume 8442 ||
Jones, Cliff, Pihlajasaari, Pekka, Sun, JunVolume:
10.1007/97
Year:
2014
Language:
english
DOI:
10.1007/978-3-319-06410-9
File:
PDF, 13.71 MB
english, 2014