CAV award 2014

Professor Antti Valmari is one of four recipients of Computer Aided Verification (CAV) award 2014. Congratulations!

Read more, Sama suomeksi

This entry was posted in news, research. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *