DMCA

Toward Reliable and Efficient Message Passing Software Through Formal Analysis ∗

by Ganesh Gopalakrishnan , Robert M. Kirby