Andrew Edmunds

List of publications from the DBLP Bibliography Server - FAQ

2008

1 EE Andrew Edmunds, Michael Butler: Linking Event-B and Concurrent Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 214: 159-182 (2008)

2008
1	EE	Andrew Edmunds, Michael Butler: Linking Event-B and Concurrent Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 214: 159-182 (2008)

Coauthor Index