"Computer Aided Verification, 15th International Conference, CAV 2003, ..."

Warren A. Hunt Jr., Fabio Somenzi (2003)
maintained by Schloss Dagstuhl LZI, founded at University of Trier