@inproceedings{TBM1,
title = { A refinement methodology for object-oriented programs },
author = {Tafat, Asma and Boulm\'e, Sylvain and March\'e, Claude},
year = {2011},
booktitle = {Formal Verification of Object-Oriented Software},
series = {Lecture Notes in Computer Science},
volume = {6528},
team = {DCS, PACSS},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008847
|
|
|