Carpe diem (Felix's blog)
I am a happy developer
RSS
Blog
Archives
About Me
Github
Category: Talk
2012
Practical software verification using SPIN
Apr
10
2012