Ernst-R Diger Olderog

1 book • 2 series

Jul 9, 1991
Cover of Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs (Lecture Notes in Statistics) (Texts in Computer Science)