Changes between Version 2 and Version 3 of People


Ignore:
Timestamp:
Jun 17, 2008, 4:11:22 PM (11 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • People

    v2 v3  
    11[[TracNav]]
    22
    3 == MRMC People ==
     3= MRMC People =
    44
    55Currently, the tool is being developed in the [http://www-i2.informatik.rwth-aachen.de/ Software Modeling and Verification (MOVES) group]
     
    88Before 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.
    99
    10 Contents:
     10== Current team members ==
    1111
    12     * Current team members
    13     * Former team members
     12== Former team members ==