An approach for data type specification and its use in program verification
From MaRDI portal
Publication:1137374
DOI10.1016/0020-0190(79)90153-4zbMath0428.68026MaRDI QIDQ1137374
Tarcisio Pequeno, Carlos J. P. Lucena
Publication date: 1979
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(79)90153-4
program design; formal specification; program verification; abstract data types; data type specification; correctness of data representations
Cites Work