Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.. Systems and Software Verification. Springer, 2001.
@book{BerardBidoitM2001,
title = {Systems and Software Verification},
author = {Berard and B. and Bidoit and M. and Finkel and A. and Laroussinie and F. and Petit and A. and Petrucci and L. and Schnoebelen and P.},
year = {2001},
researchr = {https://researchr.org/publication/BerardBidoitM2001},
cites = {0},
citedby = {0},
publisher = {Springer},
}