Modeling and Verification of Component Connectors

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_26 ◽

2018 ◽

pp. 419-422

Author(s):

Xiyue Zhang

Download Full-text