The 6th International Computer Science Symposium in Russia
June 14–18, 2011, St. Petersburg, Russia
MyCSRSuckerfishMenu
Call for Papers
Program
Invited Speakers
Workshops
Committees
Proceedings
Venue
Practical Info
Photos
The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011)
The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011)
Call for papers
Program
