Formalizing SANE virtual processor in thread algebra (2007)

by Thuy Duong Vu, Chris Jesshope
Venue:In Proceedings of the 9th International Conference on Formal Methods and Software Engineering