Symbolic approximation: An approach to verification in the large
- Breuer, P.T.
- Pickin, S.
ISSN: 1614-5046, 1614-5054
Año de publicación: 2006
Volumen: 2
Número: 3-4
Páginas: 147-163
Tipo: Artículo
Revista:
Innovations in Systems and Software Engineering