- Referenced in 15 articles
- The development of the RAISE tools. The use...
- Referenced in 81 articles
- The Rodin Platform is an Eclipse-based IDE...
- Referenced in 2 articles
- FermaT Maintenance Environment. The objective of the FermaT...
- Referenced in 9 articles
- mural: a formal development support system. Systematic development...