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

Publication
Correct System Design

Related