Logics of specification languages
From MaRDI portal
Publication:2473610
DOI10.1007/978-3-540-74107-7zbMath1138.68302OpenAlexW593769067MaRDI QIDQ2473610
No author found.
Publication date: 3 March 2008
Published in: Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74107-7
Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications ⋮ A deductive approach towards reasoning about algebraic transition systems ⋮ Domain science and engineering from computer science to the sciences of informatics. I: Engineering ⋮ Composing model programs for analysis ⋮ Compositionality: Ontology and Mereology of Domains
This page was built for publication: Logics of specification languages
