The MEB and CEB Static Analysis for CSP Specifications.

Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Browse the full LOPSTR paper archive.