Preprint
On a New Notion of Partial Refinement
Abstract
Formal specification techniques allow expressing idealized specifications,
which abstract from restrictions that may arise in implementations. However,
Authors
Sekerinski E; Zhang T
Publication date
May 27, 2013
DOI
10.48550/arxiv.1305.6110
Preprint server
arXiv