The following pages link to Logics of specification languages (Q2473610):
Displayed 5 items.
- Composing model programs for analysis (Q710670) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering (Q2452758) (← links)
- Compositionality: Ontology and Mereology of Domains (Q5187818) (← links)
- Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications (Q5881447) (← links)