Formal Methods in Practice: The Missing Links. A Perspective from the Security Area

Cite this paper

@inproceedings{Bolignano2000FormalMI, title={Formal Methods in Practice: The Missing Links. A Perspective from the Security Area}, author={Dominique Bolignano and Daniel Le M{\'e}tayer and Claire Loiseaux}, booktitle={MOVEP}, year={2000} }