Verification in the large via symbolic approximation

  1. Breuer, P.T.
  2. Pickin, S.
Actes:
Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

ISBN: 9780769530710

Any de publicació: 2006

Pàgines: 408-415

Tipus: Aportació congrés

DOI: 10.1109/ISOLA.2006.20 GOOGLE SCHOLAR
Font de les dades: Scopus