scientific article; zbMATH DE number 1533830

zbMATH Open0953.68028MaRDI QIDQ4517044FDOQ4517044

Authors: Evgeny V. Bodin 

Publication date: 20 November 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

verificationspecificationREAL

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

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 Q4517044)