Electronic Communication of the European Association of Software Science and Technology, Volume 23

Refine list

showing all ?? records

Volume 23: Automated Verification of Critical Systems 2009

Articles
a service of  Schloss Dagstuhl - Leibniz Center for Informatics