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.

One Response to CAV award 2014

Leave a Reply

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