Changes between Version 2 and Version 3 of People
- Timestamp:
- Jun 17, 2008, 4:11:22 PM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
People
v2 v3 1 1 [[TracNav]] 2 2 3 = = MRMC People ==3 = MRMC People = 4 4 5 5 Currently, the tool is being developed in the [http://www-i2.informatik.rwth-aachen.de/ Software Modeling and Verification (MOVES) group] … … 8 8 Before 2008, the tool development was concentrated in the [http://fmt.cs.utwente.nl/ Formal Methods & Tools (FMT) group] at the University of Twente, The Netherlands. 9 9 10 Contents: 10 == Current team members == 11 11 12 * Current team members 13 * Former team members 12 == Former team members ==