(1 - 16 from 23
)
CAV : 23rd International Conference on Computer Aided ...
www.wikicfp.com
Dimitra Giannakopoulou, NASA Ames, USA Susanne Graf, VERIMAG, France Keijo Heljanko, Aalto University, Finland William Hung, Synopsys, USA Joost-Pieter Katoen, RWTH Aachen, Germany Franjo Ivancic, NEC Labs, USA ...
sorted by relevance / date