"2" Result
Sort By:
FME 2003: formal methods : International Symposium of Forma…
by Mandrioli, Dino, International Symposium of Formal Methods Europe, Pisa, Italy), Araki, Keijiro, Gnesi, Stefania, Formal Methods Europe (Organization), Institute for Informatics Science and Technology (ISTI), CoLogNET
fromLecture Notes in Computer Science
0
Type: Book