Program Compatibility Approaches

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/11804192_12 ◽

2006 ◽

pp. 243-258 ◽

Cited By ~ 2

Author(s):

Edmund Clarke ◽

Natasha Sharygina ◽

Nishant Sinha

Download Full-text