scientific article; zbMATH DE number 3823102

zbMATH Open0519.68016MaRDI QIDQ3668826FDOQ3668826

Authors: Yoneharu Fujita, Fujio Nishida 

Publication date: 1982

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

zbMATH Keywords

transformation rulesspecificationsprecedence conditionsemiautomatic program constructionstate unification

Mathematics Subject Classification ID

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