Verification of the Java Causality Requirements

Lecture Notes in Computer Science - Hardware and Software, Verification and Testing ◽

10.1007/11678779_16 ◽

2006 ◽

pp. 224-246 ◽

Cited By ~ 2

Author(s):

Sergey Polyakov ◽

Assaf Schuster

Download Full-text