scientific article; zbMATH DE number 683343

MaRDI QIDQ4312459zbMATH OpenFDO

Authors Maurice Bruynooghe, Dmitri Boulanger

Publication date 29 July 1999

Mathematics Subject Classification ID

Logic programming (68N17) 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 Q4312459)