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