scientific article; zbMATH DE number 3823100

zbMATH Open0519.68014MaRDI QIDQ3668824FDOQ3668824

Authors: István Németi 

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

nonstandard modelsFloyd-Hoare inductive assertions methodpartially correct

Mathematics Subject Classification ID

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

Cited In (1)

• Non-standard algorithmic and dynamic logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3668824)