1991
Introduction to program verification
Publication
Publication
Presented at the
IFIP WG 2.2. Formal Description of Programming Concepts, Rio de Janeiro, Brazil
Additional Metadata | |
---|---|
IFIP state-of-the-art reports | |
IFIP WG 2.2. Formal Description of Programming Concepts | |
Organisation | Networks and Optimization |
Apt, K., & Olderog, E.-R. (1991). Introduction to program verification. In Formal Description of Programming Concepts (pp. 363–429). |