Model Checking CoreASM Specifications (2007)

by R Farahbod, Uwe Glässer, G Ma
Venue:Proceedings of the 14th International ASM Workshop (ASM’07