Approximate verification in an open source world
- Breuer, P.T.
- Pickin, S.
ISSN: 1614-5046, 1614-5054
Argitalpen urtea: 2008
Alea: 4
Zenbakia: 1
Orrialdeak: 87-105
Mota: Biltzar ekarpena
ISSN: 1614-5046, 1614-5054
Argitalpen urtea: 2008
Alea: 4
Zenbakia: 1
Orrialdeak: 87-105
Mota: Biltzar ekarpena