학술논문
Transformation techniques can make students excited about formal methods
Document Type
Article
Author
Source
In Information and Software Technology 2008 50(12):1295-1304
Subject
Language
ISSN
0950-5849