Symbolic Approximation: An Approach to Verification in the Large

Research output: Contribution to journal › Article

5 Citations (Scopus)

Original language	English
Pages (from-to)	147-163
Number of pages	17
Journal	Innovations in Systems and Software Engineering
Volume	2
Issue number	3-4
Early online date	28 Oct 2006
DOIs	https://doi.org/10.1007/s11334-006-0010-z
Publication status	Published - 14 Nov 2006

Access to Document

@article{db71087164fe4e82aade74e3288eff1f,

title = "Symbolic Approximation: An Approach to Verification in the Large",

author = "Peter Breuer and S Pickin",

year = "2006",

month = nov,

day = "14",

doi = "10.1007/s11334-006-0010-z",

language = "English",

volume = "2",

pages = "147--163",

journal = "Innovations in Systems and Software Engineering",

issn = "1614-5054",

publisher = "Springer",

number = "3-4",

}

TY - JOUR

T1 - Symbolic Approximation: An Approach to Verification in the Large

AU - Breuer, Peter

AU - Pickin, S

PY - 2006/11/14

Y1 - 2006/11/14

U2 - 10.1007/s11334-006-0010-z

DO - 10.1007/s11334-006-0010-z

M3 - Article

SN - 1614-5054

VL - 2

SP - 147

EP - 163

JO - Innovations in Systems and Software Engineering

JF - Innovations in Systems and Software Engineering

IS - 3-4

ER -