A Mechanized Strategy for Safe Abstraction of CSP Specifications

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-642-10452-7_9 ◽

2009 ◽

pp. 118-133 ◽

Author(s):

Adriana Damasceno ◽

Adalberto Farias ◽

Alexandre Mota

Download Full-text