The textsfAlma Project, or How First-Order Logic Can Help Us in Imperative Programming

Krzysztof R. Apt, Andrea Schaerf
January 1999
PDF Cite
Type
Book section
Publication
Correct System Design
alma hybrid languages