FME 2003: formal methods: International Symposium of Formal Methods Europe,… by Mandrioli, Dino, Araki, Keijiro, Gnesi, Stefania fromLecture Notes in Computer Science 0 Type: Book
