Changes between Version 10 and Version 11 of People/FormerTeamMembers


Ignore:
Timestamp:
Jun 19, 2008, 9:48:24 PM (10 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

Added a nice picture

Legend:

Unmodified
Added
Removed
Modified
  • People/FormerTeamMembers

    v10 v11  
    22
    33= MRMC People =
     4
     5[[Image(http://www.mrmc-tool.org/images/people.gif, nolink, align=right, 33%)]]
    46
    57Currently, the tool is being developed in the [http://www-i2.informatik.rwth-aachen.de/ Software Modeling and Verification (MOVES) group]