Changes between Initial Version and Version 1 of Ticket #69


Ignore:
Timestamp:
May 1, 2006 5:28:19 PM (9 years ago)
Author:
asiekiel@…
Comment:

Added interested student/mentors part.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #69 – Description

    initial v1  
    1717the high-levelness of Haskell and speed of imperative languages at the
    1818same time (in the domain of model checkers).
     19
     20== Interested Mentors ==
     21  * ?
     22
     23== Interested Students ==
     24  * Artur Siekielski <[mailto:[email protected]]>