Sökning: "Arve Gengelbach"
Hittade 1 avhandling innehållade orden Arve Gengelbach.
1. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading
Sammanfattning : With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the help of a theorem prover. LÄS MER
Resultatsidor:
1