scientific article; zbMATH DE number 3800904

zbMATH Open0507.68003MaRDI QIDQ4745239FDOQ4745239

Rohit Parikh

Publication date: 1981

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

zbMATH Keywords

partial correctnesscorrectness assertions

Mathematics Subject Classification ID

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

Cited In (1)

• Some applications of topology to program semantics

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 Q4745239)