Apt, Krzysztof R.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Verification of sequential and concurrent programs
by:
Boer, Frank S.; SpringerLink (Online service); Apt, Krzysztof R.; Olderog, Ernst-Rudiger.
(Language materials, printed)