Construction and Analysis of Ground Models and Their Refinements as a Foundation for Validating Computer-Based Systems
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-006-0019-y
Full Text
Open PDFAbstract
Available in full text
Date
February 9, 2007
Authors
Publisher
Springer Science and Business Media LLC