scientific article; zbMATH DE number 683360

zbMath0812.68088MaRDI QIDQ4312481

Maura Cerioli, Egidio Astesiano

Publication date: 14 May 1995

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

zbMATH Keywords

simulation independent metalanguage

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Logical systems for structured specifications.