User:Tom
From HaskellWiki
(Difference between revisions)
m |
|||
| Line 2: | Line 2: | ||
IRC: TomMD | IRC: TomMD | ||
Sequence.complete.org: TomMD | Sequence.complete.org: TomMD | ||
| - | Interests: | + | Interests: Formal methods, verification, information flow, run time systems |
Revision as of 15:58, 24 February 2008
Name: Tom IRC: TomMD Sequence.complete.org: TomMD Interests: Formal methods, verification, information flow, run time systems
