Changes between Initial Version and Version 1 of Ticket #69


Ignore:
Timestamp:
May 1, 2006 5:28:19 PM (8 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:asiekiel@manta.univ.gda.pl]>