DMCA

Verification of Concurrent Programs with Chalice (2009)

by K. Rustan M. Leino , Peter Müller , Jan Smans
Citations:26 - 6 self