The following pages link to (Q4296956):
Displaying 7 items.
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- The connection between two ways of reasoning about partial functions (Q963419) (← links)
- A typed logic of partial functions reconstructed classically (Q1338893) (← links)
- Semantics of under-determined expressions (Q1911315) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- SETHEO goes software engineering: Application of ATP to software reuse (Q5234691) (← links)
- Translating specifications in VDM-SL to PVS (Q6567700) (← links)
