| DamianiDovlandJohnsenSchaefer:FAC-2014 (Article)
|
| Author(s) | Ferruccio Damiani, Johan Dovland, EinarBroch Johnsen and Ina Schaefer |
| Title | « Verifying traits: an incremental proof system for fine-grained reuse » |
| Journal | Formal Aspects of Computing |
| Volume | 26 |
| Number | 4 |
| Page(s) | 761-793 |
| Year | 2014 |
| ISSN number | 0934-5043 |
| URL | http://dx.doi.org/10.1007/s00165-013-0278-3 |
| Keywords |
| Keywords: Traits; Object orientation; Program verification; Proof systems; Incremental reasoning
|
@article{DamianiDovlandJohnsenSchaefer:FAC-2014,
language = {English},
number = {4},
volume = {26},
author = {Damiani, Ferruccio and Dovland, Johan and Johnsen, EinarBroch and
Schaefer, Ina},
issn = {0934-5043},
keywords = {Traits; Object orientation; Program verification; Proof systems;
Incremental reasoning},
url = {http://dx.doi.org/10.1007/s00165-013-0278-3},
title = {Verifying traits: an incremental proof system for fine-grained
reuse},
publisher = {Springer London},
pages = {761-793},
year = {2014},
journal = {Formal Aspects of Computing},
doi = {10.1007/s00165-013-0278-3},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
