scientific article; zbMATH DE number 1759604
From MaRDI portal
Publication:4536595
zbMATH Open0999.68562MaRDI QIDQ4536595FDOQ4536595
Authors: C. R. Ramakrishnan 
Publication date: 28 November 2002
Title of this publication is not available (Why is that?)
Computing methodologies and applications (68U99) 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 Q4536595)
