The Verification of MDG Algorithms in the HOL Theorem Prover, Fachbücher

Gandalf (theorem prover), Fachbücher

E Equational Theorem Prover, Fachbücher

Sa''ed Abed (u. A.) | The Verification Of Mdg Algorithms In The Hol

Theorem of the Cube, Fachbücher

The Role of Verification Strategies, Fachbücher

Carter Subgroups And Carter's Theorem Definitions, Proves Of

Generalisations of the Contraction Mapping Theorem, Fachbücher

Language use and communication of MDGs, Fachbücher

Extending KeY for the Verification of C Programs, Fachbücher

Verification of Object-Oriented Software. The KeY Approach, Fachbücher

The Pi-Theorem, Fachbücher

Verification of the Biological and Toxin Weapons Convention, Fachbücher

Barriers To Achieving The 5th Mdg In Ghana, Fachbücher

Current Trends In Hardware Verification And Automated Theorem Proving

Star of David Theorem, Fachbücher