Arrays and contracts for the specification and analysis of regular systems

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309116 ◽

2004 ◽

Cited By ~ 3

Author(s):

F. Maraninchi ◽

L. Morel

Download Full-text