Deterministic Programs

Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-4757-2714-2_3 ◽

1997 ◽

pp. 47-99 ◽

Cited By ~ 1

Author(s):

Krzysztof R. Apt ◽

Ernst-Rüdiger Olderog

Download Full-text