Personal information

Activities

Collapse all

Works (1)

A Reusable Machine-Calculus for Automated Resource Analyses

2023 | Book chapter
DOI: 10.1007/978-3-031-45784-5_5
Contributors: Hector Suzanne; Emmanuel Chailloux
Source: check_circle
Crossref
How many people are using ORCID?