Verification: Theory and Practice
From MaRDI portal
Publication:5305646
DOI10.1007/b12001zbMath1274.68037OpenAlexW2483649756MaRDI QIDQ5305646
Erika Ábrahám, Martin Steffen, Frank S. de Boer, Willem Paul de Roever
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items (2)
A Bibliography of Willem-Paul de Roever ⋮ An operational semantics for object-oriented concepts based on the class hierarchy
This page was built for publication: Verification: Theory and Practice