DMCA

Modular Description and Verification of Concurrent Objects

by Unknown Authors