Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ===== Mateusz Kocielski ===== Email: shm@%%FreeBSD%%.org \\ IRC: shm at EFNet, IRCNet, Freenode ===== Projects ===== [[ShmSoc2011|Summer of Code 2011]] - Testing temporal properties of %%FreeBSD%% with Temporally Enhanced Security Logic Assertions ---- {{tag>Homepage}} mateuszkocielski.txt Last modified: 2011/05/05 20:21by MateuszKocielski