Login / Signup
Bruno Maugars
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 4
Top Topics
Mesh Connected
Software Reuse
Tensor Analysis
Code Generator
Top Venues
J. Comput. Phys.
The Logic of Software. A Tasting Menu of Formal Methods
CGO
PASC
</>
Publications
</>