M. E. Loots

List of publications from the DBLP Bibliography Server - FAQ

2002

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

2000

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

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

Coauthor Index