Person: Louis Nolin
DBLP: Nolin:Louis
Contributed to:
Wrote 2 papers:
- POPL-1973-NolinR #formal method
- Formalization of Exel (LN, GR), pp. 108–119.
- ICALP-1972-Nolin #french
- Systèmes algorithmiques, systèmes fonctionnels (LN), pp. 309–318.