APA (7th ed.) Citation

D'Silva, V., Haller, L., Kroening, D., & Miné, A. (2012). Satisfiability solvers are static analysers. Springer.

Chicago Style (17th ed.) Citation

D'Silva, V., L. Haller, D. Kroening, and A. Miné. Satisfiability Solvers Are Static Analysers. Springer, 2012.

MLA (9th ed.) Citation

D'Silva, V., et al. Satisfiability Solvers Are Static Analysers. Springer, 2012.