CITATION STYLE
Bolignano, D., Le Métayer, D., & Loiseaux, C. (2001). Formal Methods in Practice: The Missing Links. A Perspective from the Security Area (pp. 169–180). https://doi.org/10.1007/3-540-45510-8_7
Mendeley helps you to discover research relevant for your work.