Approximate verification in an open source world

  1. Breuer, P.T.
  2. Pickin, S.
Revista:
Innovations in Systems and Software Engineering

ISSN: 1614-5046,  1614-5054

Any de publicació: 2008

Volum: 4

Número: 1

Pàgines: 87-105

Tipus: Aportació congrés

DOI: 10.1007/S11334-008-0045-4 GOOGLE SCHOLAR
Font de les dades: Scopus