Stem emma$ (all stems)
2 papers:
- ITiCSE-2004-Tanaka-IshiiKT #feedback #named #programming #verification
- EMMA: a web-based report system for programming course--automated verification and enhanced feedback (KTI, KK, MT), p. 278.
- FM-v1-1999-HusbergM #industrial #named #reachability
- Emma: Developing an Industrial Reachability Analyser for SDL (NH, TM), pp. 642–661.