Apt, Krzysztof R.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Verification of sequential and concurrent programs
by:
Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rudiger.; SpringerLink (Online service)
(Electronic resources)
New trends in constraintsjoint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers /
by:
Apt, Krzysztof R.; SpringerLink (Online service)
(Electronic resources)