Integrating a formal specification course with a software projects course via an editing tool
Gamble, R. F.Volume:
27
Language:
english
Journal:
ACM SIGCSE Bulletin
DOI:
10.1145/199691.199836
Date:
March, 1995
File:
PDF, 463 KB
english, 1995