scientific article; zbMATH DE number 715447
From MaRDI portal
Publication:4321773
zbMath0834.68074MaRDI QIDQ4321773
Publication date: 29 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
An analysis of refinement in an abortive paradigm ⋮ Towards the animation of proofs -- testing proofs by examples
This page was built for publication: