Changes between Version 1 and Version 2 of People


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

--

Legend:

Unmodified
Added
Removed
Modified
  • People

    v1 v2  
     1[[TracNav]]
    12
    23== 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
     10Contents:
     11
     12    * Current team members
     13    * Former team members