Andrew Edmunds

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2010

2 Issam Maamria, Michael Butler, Andrew Edmunds, Abdolbaghi Rezazadeh: On an Extensible Rule-Based Prover for Event-B. ASM 2010: 407

2008

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

	2010
2		Issam Maamria, Michael Butler, Andrew Edmunds, Abdolbaghi Rezazadeh: On an Extensible Rule-Based Prover for Event-B. ASM 2010: 407
	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

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page