Testing refinements of state-based formal specifications
John Derrick, Eerke BoitenVolume:
9
Year:
1999
Language:
english
Pages:
24
DOI:
10.1002/(sici)1099-1689(199903)9:13.0.co;2-b
File:
PDF, 263 KB
english, 1999