Symbolic approximation: An approach to verification in the large

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

ISSN: 1614-5046,  1614-5054

Any de publicació: 2006

Volum: 2

Número: 3-4

Pàgines: 147-163

Tipus: Article

DOI: 10.1007/S11334-006-0010-Z GOOGLE SCHOLAR
Font de les dades: Scopus