Hierarchical Organisation of Predicate-Semantic Models
From MaRDI portal
Publication:5307480
DOI10.1007/11768173_10zbMath1186.68109OpenAlexW1601994458MaRDI QIDQ5307480
Publication date: 14 September 2007
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11768173_10
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Hierarchical Organisation of Predicate-Semantic Models