Changes between Version 2 and Version 3 of People/FormerTeamMembers


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

Added "content:"

Legend:

Unmodified
Added
Removed
Modified
  • People/FormerTeamMembers

    v2 v3  
    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[[PageOutline(2-3, Content:, inline)]]
     11
    1012== [wiki:People Current Team Members] ==
    1113