Introducing formal methods through role-playing
Dean, Neville, Hinchey, Michael G.Volume:
27
Language:
english
Journal:
ACM SIGCSE Bulletin
DOI:
10.1145/199691.199831
Date:
March, 1995
File:
PDF, 555 KB
english, 1995