CITATION STYLE
Necula, G. C., & Gulwani, S. (2005). Randomized algorithms for program analysis and verification. In Lecture Notes in Computer Science (Vol. 3576, p. 1). Springer Verlag. https://doi.org/10.1007/11513988_1
Mendeley helps you to discover research relevant for your work.