On the shape of mathematical arguments
From MaRDI portal
Publication:1188723
zbMath0705.68004MaRDI QIDQ1188723
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
An approach to literate and structured formal developments ⋮ An elementary and unified approach to program correctness ⋮ On Euclid's algorithm and elementary number theory ⋮ On the purpose of Event-B proof obligations ⋮ Structured calculational proof ⋮ Incremental System Modelling in Event-B
This page was built for publication: On the shape of mathematical arguments
