scientific article; zbMATH DE number 2185683
From MaRDI portal
Publication:3024862
zbMATH Open1063.68643MaRDI QIDQ3024862FDOQ3024862
Authors: Richard Boulton 
Publication date: 4 July 2005
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Uses Software
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 Q3024862)
