Andrew Edmunds

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

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

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

Coauthor Index