Approximate verification in an open source world
- Breuer, P.T.
- Pickin, S.
ISSN: 1614-5046, 1614-5054
Year of publication: 2008
Volume: 4
Issue: 1
Pages: 87-105
Type: Conference paper
ISSN: 1614-5046, 1614-5054
Year of publication: 2008
Volume: 4
Issue: 1
Pages: 87-105
Type: Conference paper