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
Email: shm@FreeBSD.org
IRC: shm at EFNet, IRCNet, Freenode
Summer of Code 2011 - Testing temporal properties of FreeBSD with Temporally Enhanced Security Logic Assertions
MateuszKocielski (last edited 2011-05-05T20:21:21+0000 by MateuszKocielski)