[Concurrency] Symposium on Automatic Program Verification - last
APV 2009
Automatic Program Verification
http://se.ethz.ch/apv/
February 14-15, 2009
Argentina
——————————————————————–
Automatic software verification is once again at the forefront of
research in computer science, thanks to a combination of novel
techniques and more powerful hardware to implement them. The aim of the
APV symposium is to bring together researchers to exchange and develop
new ideas in all aspects of software verification, from design to
implementation.
Topics […]