The following pages link to (Q4261731):
Displaying 8 items.
- How to write a 21\(^{\text{st}}\) century proof (Q692371) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- A complete equational axiomatization for MPA with string iteration (Q1274456) (← links)
- Equivalence is in the eye of the beholder (Q1391750) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- Program derivation with verified transformations — a case study (Q4884666) (← links)
- A fast, scalable mutual exclusion algorithm (Q5137004) (← links)
- Pragmatic Formal Specification of System Properties by Tables (Q5256357) (← links)
