The 7th International Computer Science Symposium in Russia
    Proceedings 
    News 
    Call For Papers 
    Conference 
    Important Dates 
    Topics 
    Program 
    Workshops 
    Invited Speakers 
    Committees 
    Venue 
    Travel information 
    Registration 
    Archive 
    Contacts 
    Subscription 
EATCS
Springer Link
Yandex
Microsoft Research

 
The 7th International Computer Science Symposium in Russia
PSSV 2012

The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012)


áÇÏÒÁ