Normal view
MARC view
Leaders in Computer Science and Electrical Engineering (Autor Corporativo (110-710))
Machine generated authority record
Work cat.: (OSt)106206: Reasoning about programs, 1990