The following pages link to (Q4385539):
Displayed 10 items.
- (Q4512408) (← links)
- (Q4525557) (← links)
- Formal reasoning about modules, reuse and their correctness (Q4632313) (← links)
- Higher-order equational logic for specification, simulation and testing (Q4645808) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- Ode to the PST (Q5256333) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)
- Structured Document Algebra in Action (Q5256355) (← links)
- Pragmatic Formal Specification of System Properties by Tables (Q5256357) (← links)
- (Q5856421) (← links)