scientific article

zbMath0594.68012MaRDI QIDQ3725522

Gheorghe Ştefănescu

Publication date: 1986

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

zbMATH Keywords

iterationfeedbackcorrectnessalgebraic semanticsprogram transformationsrepetitionflowchart schemes

Mathematics Subject Classification ID

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

Related Items

Condition/decision duality and the internal logic of extensive restriction categories, Classes of finite relations as initial abstract data types. I