Using spin to generate tests from ASM specifications
Document
Generically Dependent Continuant
Article
Information Content Entity
RDF description of Using spin to generate tests from ASM specifications - http://irises.unibg.it/resource/item/85763
Conference Paper