A means for the structural synthesis of programs

From MaRDI portal

Publication:1091120

Jump to:navigation, search

zbMath0622.68024MaRDI QIDQ1091120

A. L. Sakharov

Publication date: 1987

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

atom predicate formulas programs specification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A means for the structural synthesis of programs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1091120&oldid=13121809"