Formal methods in the undergraduate computer science curriculum (abstract)
Walker, Henry M., Cunningham, H. Conrad, Davis, Ruth, Troeger, DouglasVolume:
27
Language:
english
Journal:
ACM SIGCSE Bulletin
DOI:
10.1145/199691.199899
Date:
March, 1995
File:
PDF, 180 KB
english, 1995