scientific article; zbMATH DE number 6403889
From MaRDI portal
Publication:5173658
zbMath1321.68206MaRDI QIDQ5173658
Petros Stefaneas, Katerina Ksystra, Panayiotis V. Frangos, Nikolaos Triantafyllou
Publication date: 16 February 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hidden algebraJMLCafeOBJproof-carrying codebehavioral specificationsdesign by contractobservational transition systems
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: