Normal view
MARC view
Computer Science (Topical Term)
Machine generated authority record
Work cat.: (OSt)1548126: Wieringa R J & Feenstra R B 967274, Information Systems-Correctness and Reusability - Selected Papers Form the Is-Core Workshop