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 |
BibTeX
@MISC{Oliveira12mri:modular,
author = {Bruno C. D. S. Oliveira and Tom Schrijvers and William R. Cook},
title = {MRI: Modular reasoning about interference in incremental programming },
year = {2012}
}
Share
 |
 |
 |
 |
||
