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


CategoryHomepage

MateuszKocielski (last edited 2011-05-05T20:21:21+0000 by MateuszKocielski)