Erratum to: Proving properties of Pascal programs in MIZAR 2

DOI10.1007/BF00263652zbMath0589.68016OpenAlexW2252649164MaRDI QIDQ1074337

Włodzimierz Drabent, Piotr Rudnicki

Publication date: 1986

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263652

zbMATH Keywords

MIZAR 2Pascal programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Mizar

This page was built for publication: Erratum to: Proving properties of Pascal programs in MIZAR 2