Travelled to:
1 × Sweden
Collaborated with:
A.Rezazadeh M.J.Butler
Talks about:
implement (1) formal (1) model (1) event (1) task (1) ada (1)
Person: Andrew Edmunds
DBLP: Edmunds:Andrew
Contributed to:
Wrote 1 papers:
- AdaEurope-2012-EdmundsRB #ada #formal method #implementation #modelling
- Formal Modelling for Ada Implementations: Tasking Event-B (AE, AR, MJB), pp. 119–132.