A formal nethod (a networked formal method)

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

ISSN: 1614-5046 1614-5054

Any de publicació: 2010

Volum: 6

Número: 4

Pàgines: 255-268

Tipus: Article

DOI: 10.1007/S11334-009-0121-4 GOOGLE SCHOLAR