Verification in the light and large: Large-scale verification for fast-moving open source C projects
- Breuer, P.T.
- Pickin, S.
ISSN: 0270-5257
ISBN: 9780769528625
Argitalpen urtea: 2007
Orrialdeak: 246-255
Mota: Biltzar ekarpena
ISSN: 0270-5257
ISBN: 9780769528625
Argitalpen urtea: 2007
Orrialdeak: 246-255
Mota: Biltzar ekarpena