Sébastien Hoarau

Available identifiers

zbMath Open hoarau.sebastienMaRDI QIDQ4218864

List of research outcomes

Publication	Date of Publication	Type
CLP(χ) for automatically proving program properties1An earlier version of this paper was presented at the workshop “Frontiers of Combining Systems”, Munich, March 1996.1	1999-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q4218865	1999-03-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sébastien Hoarau