scientific article; zbMATH DE number 1064161
From MaRDI portal
Publication:4355705
zbMATH Open0900.68293MaRDI QIDQ4355705FDOQ4355705
Authors: Florian Mircea Boian, Militon Frenţiu 
Publication date: 30 March 1998
Title of this publication is not available (Why is that?)
Grammars and rewriting systems (68Q42) 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 Q4355705)
