Search results for: A. Loginov
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verifying Object-Oriented Programming > 82-92
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verifying Object-Oriented Programming > 82-92