public marks

PUBLIC MARKS with tags theory & psychology

PUBLIC TAGS related to tag theory

algorithms +   cs +   ctl +   formal-methods +   haskell +   lisp +   math +   modelchecking +   now +   oop +   Papers +   people +   programming +   science +   smv +   tocheck +   tools +   toread +   types +   verification +  

Active users

rike_
last mark : 09/01/2008 08:04

pallefs
last mark : 11/01/2007 16:52

j_c
last mark : 26/11/2006 09:26

jackiege
last mark : 17/06/2006 14:36

isolabig
last mark : 01/01/1970 01:00