DMCA
MRI: Modular reasoning about interference in incremental programming (2012)
Cached
Download Links
by
Bruno C. D. S. Oliveira
,
Tom Schrijvers
,
William R. Cook
Citations: | 6 - 1 self |