CAV 2013 » Languages » Русский http://cav2013.forsyte.at 25th International Conference on Computer Aided Verification Wed, 10 Jun 2015 11:07:47 +0000 ru-RU hourly 1 http://wordpress.org/?v=4.2.2 participants-from-russia http://cav2013.forsyte.at/2013/04/participants-from-russia/ http://cav2013.forsyte.at/2013/04/participants-from-russia/#comments Tue, 02 Apr 2013 11:00:37 +0000 http://cav2013.forsyte.at/?p=973 Tips for the participants from Russia: Информация для российских участников

]]>
http://cav2013.forsyte.at/2013/04/participants-from-russia/feed/ 0