The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming (1999)

Cached

Download Links

by Krzysztof R. Apt , Andrea Schaerf
Citations:4 - 2 self