A Formal Analysis of Concurrent Assembly Code based on CSP

Gustavo Carvalho, Rafael Cabral, Alexandre Mota
January 2012
Type
Conference paper
Publication
Proceedings of the 15th Brazilian Symposium on Formal Methods (Short paper)

Related