Formal reasoning to improve trust for scientific applications
Explore the source record for details and available documents.
Mathematics and Computing, Computer science↗
Engineering topics
Schordan, M
Publications and source records attributed to Schordan, M.
Improving HPC Code Integrity using Formal Methods
Explore the source record for details and available documents.
Computer science↗