Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by PATRICK KNUPP
Code Verification by the Method of Manufactured Solutions
Related publications
A Scientific Software Verification Library Based on the Method of Manufactured Solutions
Obligatory Will in the Civil Code of Afghanistan: Analysis, Sharia Verification, and Case Solutions
Addaiyan Journal of Arts, Humanities and Social Sciences
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High Hardness of Conductive Micro Fastener Manufactured by Micromolding Method
Transactions of the Materials Research Society of Japan
The Equation of Meshing of Spiral Bevel Gears Manufactured by Generating-Line Method
The Open Mechanical Engineering Journal
Consistent Metrics for Code Verification
Code-To-Code Verification for Thermal Models of Melting and Solidification in a Metal Alloy: Comparisons Between a Finite Volume Method and a Finite Element Method
Mechanical Sciences
Control
Systems Engineering
Industrial
Mechanical Engineering
Civil
Fluid Flow
Structural Engineering
Manufacturing Engineering
Mechanics of Materials
Transfer Processes
An Investigation on UHMWPE-HAp Composites Manufactured by Solution-Gelation Method
Sakarya University Journal of Science