Software Verification Lab

SVL in the early days
Snellius Building, room 160
Niels Bohrweg 1
2333 CA, Leiden
The Netherlands