[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || EventB2Java: A Code Generator for Event-B
Rayadurgam, Sanjai, Tkachuk, OksanaVolume:
10.1007/97
Année:
2016
Langue:
english
DOI:
10.1007/978-3-319-40648-0_13
Fichier:
PDF, 367 KB
english, 2016