Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
From MaRDI portal
Publication:1311465
zbMath0825.00043MaRDI QIDQ1311465
No author found.
Publication date: 21 December 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (8)
Components as coalgebras: the refinement dimension ⋮ Normal design algebra ⋮ Transposing partial components--an exercise on coalgebraic refinement ⋮ Programming from metaphorisms ⋮ Calculating a linear-time solution to the densest-segment problem ⋮ Calculating with acyclic and cyclic lists ⋮ Normal forms for binary relations ⋮ Kleene under a modal demonic star
This page was built for publication: Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
