Publications

You are here

Home » Research
Export 5 results:
Author Title [ Type(Desc)] Year
Filters: Author is Elvinia Riccobene  [Clear All Filters]
Conference Paper
A. Gargantini, Riccobene, E., and Rinzivillo, S., “Using Spin to Generate Tests from ASM Specifications”, in Abstract State Machines, 2003, pp. 263-277.