Normal view
MARC view
- Olderog, E.R.
Olderog, E.R. (Personal Name)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Apt, Krzysztof R., 1949- 24786, Verification of sequential and concurrent programs /, c2009.