Changes between Version 1 and Version 2 of People/FormerTeamMembers


Ignore:
Timestamp:
Jun 18, 2008, 1:09:14 PM (11 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • People/FormerTeamMembers

    v1 v2  
    11[[TracNav]]
    22
    3 = Former Team Members =
     3= MRMC People =
     4
     5Currently, the tool is being developed in the [http://www-i2.informatik.rwth-aachen.de/ Software Modeling and Verification (MOVES) group]
     6at RWTH Aachen University, Germany under the guidance of [http://www-i2.informatik.rwth-aachen.de/~katoen/ Prof. Dr. Ir. Joost-Pieter Katoen].
     7
     8Before 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
     10== [wiki:People Current Team Members] ==
     11
     12== Former Team Members ==