Normal view
MARC view
Olderog, Ernst-Rüdiger (Nombre personal)
Machine generated authority record
Work cat.: ()843987: Apt, Krsysztof R. 252647, Verification of sequential and concurrent programs, c1997