Symbolic approximation: An approach to verification in the large

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

ISSN: 1614-5046,  1614-5054

Argitalpen urtea: 2006

Alea: 2

Zenbakia: 3-4

Orrialdeak: 147-163

Mota: Artikulua

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