Specification-based testing for refinement (2007)

First Author: Kahsai T
Attributed to:  Processes and Data funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/SEFM.2007.38

Publication URI: http://dx.doi.org/10.1109/SEFM.2007.38

Type: Conference/Paper/Proceeding/Abstract

ISBN: 0-7695-2884-8