scientific article; zbMATH DE number 3892570

zbMath0559.68024MaRDI QIDQ5184386

Klaus P. Jantke

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic semanticsprogram synthesissynthesizing programs from logical specifications

Mathematics Subject Classification ID

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

This page was built for publication: