Meinten Sie:
+keyword:("softwareentwicklung")
A Validation Methodology for OCaml-to-PVS Translation
Heterogeneous Verification of an Autonomous Curiosity Rover
On the Usefulness of Clause Strengthening in Parallel SAT Solving