scientific article; zbMATH DE number 3827181

zbMATH Open0522.68021MaRDI QIDQ3673082FDOQ3673082

Jean-Pierre Jouannaud, Yves Kodratoff

Publication date: 1983

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

zbMATH Keywords

program transformationprogram synthesis

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