User:Tom
From HaskellWiki
(Difference between revisions)
m |
m |
||
| Line 4: | Line 4: | ||
Blog: tommd.wordpress.com | Blog: tommd.wordpress.com | ||
Interests: Formal methods, verification, information flow, run time systems | Interests: Formal methods, verification, information flow, run time systems | ||
| - | Packages: hsXenCtrl, control-event, pureMD5, ipc | + | Packages: hsXenCtrl, control-event, pureMD5, ipc, control-engine |
Current revision
Name: Tom IRC: TomMD Sequence.complete.org: TomMD Blog: tommd.wordpress.com Interests: Formal methods, verification, information flow, run time systems Packages: hsXenCtrl, control-event, pureMD5, ipc, control-engine
