Concepedia

L.M.W.J. Rutten

LR

1

Publications

21

Citations

1

H-Index

1995

Active since

Affiliations

Radboud University Nijmegen(Current)

L.M.W.J. Rutten is an author at Radboud University Nijmegen specializing in computer engineering, formal verification, and automated reasoning.

Top concepts

Publications per year

1995–1995

1

Publications

1

Implementing a functional spreadsheet in clean

Walter A. C. A. J De Hoon, L.M.W.J. Rutten, M.C.J.D. van Eekelen · Journal of Functional Programming · 1995 · 21 citations · Full text

, , +22

Rows per page

1–1 of 1