@article{'BBL+6',
title = { Component-based verification using incremental design and invariants },
author = {Bensalem, Saddek and Bozga, Marius and Legay, Axel and Nguyen, Thanh-Hung and Sifakis, Joseph and Yan, Rongjie},
year = {2016},
journal = {Software and System Modeling},
number = {2},
pages = {427--451},
volume = {15},
team = {DCS, RSD},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 33853056
|
|
|