M. E. Loots

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

2 Jan A. Bergstra, M. E. Loots: Program algebra for sequential code. J. Log. Algebr. Program. 51(2): 125-156 (2002)

2000

1 Jan A. Bergstra, M. E. Loots: Program Algebra for Component Code. Formal Asp. Comput. 12(1): 1-17 (2000)

	2002
2		Jan A. Bergstra, M. E. Loots: Program algebra for sequential code. J. Log. Algebr. Program. 51(2): 125-156 (2002)
	2000
1		Jan A. Bergstra, M. E. Loots: Program Algebra for Component Code. Formal Asp. Comput. 12(1): 1-17 (2000)

Coauthor Index