Concepedia

M.E. Loots

ML

2

Publications

146

Citations

2

H-Index

2000

Active since

Affiliations

Utrecht University(Current)

University of Amsterdam

M.E. Loots is an author at Utrecht University specializing in formal methods, program analysis, and computer science.

Top concepts

Publications per year

2000–2002

2

Publications

2

Program algebra for sequential code

J.A. Bergstra, M.E. Loots · The Journal of Logic and Algebraic Programming · 2002 · 126 citations

, , +6

Program Algebra for Component Code

J. A. Bergstra, M.E. Loots · Formal Aspects of Computing · 2000 · 20 citations · Full text

Rows per page

1–2 of 2