This is an old revision of the document!
Mateusz Kocielski
Email: m.kocielski@gmail.com
IRC: shm at EFNet, IRCNet, Freenode
Projects
Summer of Code 2011 - Testing temporal properties of FreeBSD with Temporally Enhanced Security Logic Assertions
- mateuszkocielski.1304581074.txt.gz
- Last modified: 2011/05/05 07:37
- by MateuszKocielski