scientific article; zbMATH DE number 2061001
From MaRDI portal
Publication:4456852
zbMATH Open1039.03507MaRDI QIDQ4456852FDOQ4456852
Publication date: 21 March 2004
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Abstract model theory (03C95) Categorical logic, topoi (03G30)
Cited In (1)
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 Q4456852)
