DMCA

The MEB and CEB static analysis for CSP specifications (2009)

by Michael Leuschel , Marisa Llorens , Javier Oliver , Josep Silva , Salvador Tamarit
Venue:In Revised Selected Papers from Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008
Citations:4 - 2 self