Corina S. Pasareanu

  joint publications with Jamieson M. Cobleigh

Publications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics