A Case Study in ADT Implementation Verification
Whaley, TomVolume:
3
Language:
english
Journal:
Computer Science Education
DOI:
10.1080/0899340920030208
Date:
January, 1992
File:
PDF, 389 KB
english, 1992