Search results for: Victor Petrovykh
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 72-98
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 72-98