A Mechanized Strategy for Safe Abstraction of CSP Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adriana Damasceno, Adalberto Farias, Alexandre Mota. A Mechanized Strategy for Safe Abstraction of CSP Specifications. In Marcel Vinicius Medeiros Oliveira, Jim Woodcock, editors, Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers. Volume 5902 of Lecture Notes in Computer Science, pages 118-133, Springer, 2009. [doi]

This author has not been identified. Look up 'Adriana Damasceno' in GoogleThis author has not been identified. Look up 'Adalberto Farias' in GoogleThis author has not been identified. Look up 'Alexandre Mota' in Google

runs on WebDSL