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

Refine list

showing all ?? records

Volume 46, 2011

Automated Verification of Critical Systems
a service of  Schloss Dagstuhl - Leibniz Center for Informatics