Approximate verification in an open source world

Peter Breuer, S Pickin

Research output: Contribution to journal › Article

3 Citations (Scopus)

Original language	English
Pages (from-to)	87-105
Number of pages	19
Journal	Innovations in Systems and Software Engineering
Volume	4
Issue number	1
Early online date	4 Mar 2008
DOIs	https://doi.org/10.1007/s11334-008-0045-4
Publication status	Published - 1 Apr 2008

Access to Document

@article{03bc901514d04b2fa88bd38ad6a4d891,

title = "Approximate verification in an open source world",

author = "Peter Breuer and S Pickin",

year = "2008",

month = apr,

day = "1",

doi = "10.1007/s11334-008-0045-4",

language = "English",

volume = "4",

pages = "87--105",

journal = "Innovations in Systems and Software Engineering",

issn = "1614-5054",

publisher = "Springer",

number = "1",

}