[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Proving the Shalls
Araki, Keijiro, Gnesi, Stefania, Mandrioli, DinoVolume:
10.1007/b1
Year:
2003
Language:
english
DOI:
10.1007/978-3-540-45236-2_6
File:
PDF, 160 KB
english, 2003