CITATION STYLE
Balaban, I., Fang, Y., Pnueli, A., & Zuck, L. D. (2005). IIV: An invisible invariant verifier. In Lecture Notes in Computer Science (Vol. 3576, pp. 408–412). Springer Verlag. https://doi.org/10.1007/11513988_39
Mendeley helps you to discover research relevant for your work.