Pages that link to "Item:Q3557666"
From MaRDI portal
The following pages link to Formal Methods: State of the Art and New Directions (Q3557666):
Displayed 8 items.
- Domain Engineering (Q3557667) (← links)
- Program Verification and System Dependability (Q3557668) (← links)
- The Abstract State Machines Method for High-Level System Design and Analysis (Q3557669) (← links)
- Applications and Methodology of νZ (Q3557670) (← links)
- The Computer Ate My Vote (Q3557671) (← links)
- Formal Methods for Biochemical Signalling Pathways (Q3557672) (← links)
- Separation Logic and Concurrency (Q3557673) (← links)
- Programming Language Description Languages (Q3557674) (← links)