User contributions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 19:50, 20 December 2020 (diff | hist) . . (0) . . Applications
- 19:50, 20 December 2020 (diff | hist) . . (-1) . . Applications
- 19:49, 20 December 2020 (diff | hist) . . (-10) . . Applications
- 19:48, 20 December 2020 (diff | hist) . . (+94) . . Applications
- 19:44, 20 December 2020 (diff | hist) . . (+114) . . Applications
- 19:40, 20 December 2020 (diff | hist) . . (+342) . . Applications
- 19:27, 20 December 2020 (diff | hist) . . (+171) . . Applications
- 19:17, 20 December 2020 (diff | hist) . . (+20) . . Applications
- 16:17, 18 December 2020 (diff | hist) . . (+9) . . Maude Tools
- 23:14, 15 December 2020 (diff | hist) . . (-1) . . Applications
- 23:13, 15 December 2020 (diff | hist) . . (-1) . . Applications
- 23:13, 15 December 2020 (diff | hist) . . (-1) . . Applications
- 23:12, 15 December 2020 (diff | hist) . . (-11) . . Applications
- 23:11, 15 December 2020 (diff | hist) . . (+871) . . Applications
- 22:23, 15 December 2020 (diff | hist) . . (-1) . . Applications
- 22:22, 15 December 2020 (diff | hist) . . (+44) . . Applications
- 22:17, 15 December 2020 (diff | hist) . . (-18) . . Applications
- 22:16, 15 December 2020 (diff | hist) . . (+1,987) . . N Applications (Created page with "Maude and its formal tools have been used in many pioneering applications: • Formal definition and verification of programming and hardware, resp. software, modeling langu...")
- 22:16, 15 December 2020 (diff | hist) . . (+35) . . The Maude System
- 12:27, 3 November 2020 (diff | hist) . . (+24) . . The Maude Project and Team
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)