![](/img/cover-not-exists.png)
Making formal methods education effective for professional software engineers
David GarlanVolume:
37
Year:
1995
Language:
english
Pages:
8
DOI:
10.1016/0950-5849(95)99361-p
File:
PDF, 1006 KB
english, 1995