Changes between Version 2 and Version 3 of People

Show
Ignore:
Timestamp:
06/17/08 16:11:22 (5 years ago)
Author:
ivan.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 ==