Abrial, Jean-Raymond
[Author];
Butler, Michael
[Author];
Joshi, Rajev
[Author];
Troubitsyna, Elena
[Author];
Woodcock, Jim C. P.
[Author]
;
Jean-Raymond Abrial and Michael Butler and Rajev Joshi and Elena Troubitsyna and Jim C. P. Woodcock
[Contributor]