DMCA

Invariant-based Specification, Synthesis, and Verification of Synchronization in Concurrent Programs (2001)

by Xianghua Deng , Matthew B. Dwyer , John Hatcliff , Masaaki Mizuno
Venue:In International Conference on Software Engineering
Citations:43 - 3 self