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