SPQR: Use of a First-Order Theorem Prover for Flexibly Finding Design Patterns in Source Code (2003)

by Jason McC. Smith , David Stotts
Citations:2 - 2 self