5. TPHOLs 1992: Leuven, Belgium

Refine list

showing all ?? records

Mathematical Logic Issues

Induction

General Modelling and Proofs

Formalizing and Modelling of Automata

Program Verification

Hardware Description Language Semantics

Hardware Verification Methodologies

Simulation in Higher Order Logic

Extended Uses of Higher Oredr Logic

a service of  Schloss Dagstuhl - Leibniz Center for Informatics