A formal nethod (a networked formal method)
- Breuer, P.T.
- Pickin, S.
ISSN: 1614-5046, 1614-5054
Argitalpen urtea: 2010
Alea: 6
Zenbakia: 4
Orrialdeak: 255-268
Mota: Artikulua
ISSN: 1614-5046, 1614-5054
Argitalpen urtea: 2010
Alea: 6
Zenbakia: 4
Orrialdeak: 255-268
Mota: Artikulua