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

Add the full text or supplementary notes for the publication here using Markdown formatting.

Alma Conf-Paper Hybrid Languages Indexed