The following pages link to Formal Specification and Design (Q5287557):
Displaying 6 items.
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Formal specification with B (Q2757791) (← links)
- Specification statements and refinement (Q3766811) (← links)
- (Q4233991) (← links)
- (Q4492783) (← links)