Mateusz Kocielski
Email: shm@FreeBSD.org
IRC: shm at EFNet, IRCNet, Freenode
Projects
Summer of Code 2011 - Testing temporal properties of FreeBSD with Temporally Enhanced Security Logic Assertions
- mateuszkocielski.txt
- Last modified: 2011/05/05 20:21
- by MateuszKocielski