Symbolic approximation: An approach to verification in the large

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

ISSN: 1614-5046,  1614-5054

Datum der Publikation: 2006

Ausgabe: 2

Nummer: 3-4

Seiten: 147-163

Art: Artikel

DOI: 10.1007/S11334-006-0010-Z GOOGLE SCHOLAR
Datenquelle: Scopus