DMCA

A basis for verifying multi-threaded programs

by K. Rustan M. Leino , Peter Müller
Citations:56 - 8 self