DMCA

MRI: Modular reasoning about interference in incremental programming (2012)

by Bruno C. D. S. Oliveira , Tom Schrijvers , William R. Cook
Citations:6 - 1 self