scientific article; zbMATH DE number 1858003
From MaRDI portal
Publication:4788971
zbMATH Open1006.03520MaRDI QIDQ4788971
Publication date: 17 March 2003
Title of this publication is not available (Why is that?)
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
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 Q4788971)
