The following pages link to Jean-Raymond Abrial (Q1044180):
Displaying 21 items.
- (Q796288) (redirect page) (← links)
- The mathematical construction of a program (Q796289) (← links)
- Developing topology discovery in Event-B (Q1044181) (← links)
- A mechanically proved and incremental development of IEEE 1394 tree identify protocol (Q1402471) (← links)
- An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem (Q2787412) (← links)
- Set-Theoretic Models of Computations (Q2842623) (← links)
- (Q3048222) (← links)
- Programming as a mathematical exercise (Q3221387) (← links)
- Click’n Prove: Interactive Proofs within Set Theory (Q3559759) (← links)
- (Q3569584) (← links)
- Developing Topology Discovery in Event-B (Q3605457) (← links)
- The B-Book (Q4208552) (← links)
- (Q4364529) (← links)
- (Q4436966) (← links)
- (Q4436983) (← links)
- (Q4472186) (← links)
- (Q4472194) (← links)
- (Q5219932) (← links)
- (Q5294155) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703802) (← links)
- (Q5703804) (← links)