P-logic: property verification for Haskell programs (2002)

by Richard B. Kieburtz
Citations:10 - 1 self