- Referenced in 3154 articles
- GAP is a system for computational discrete algebra...
- Referenced in 7 articles
- CommonLoops: merging Lisp and object-oriented programming. CommonLoops...
- Referenced in 25 articles
- Specware is a software engineering tool that automatically...
- Referenced in 137 articles
- Simula is the name of two simulation programming...