Arkady Serkov (u. A.) | Verification Of M Faraday`s Hypothesis On

Corina S. P¿s¿reanu (u. A.) | Computer Aided Verification |

Oliver Diessel (u. A.) | Functional Verification Of Dynamically...

Rafat Alshorman (u. A.) | Specifications And Verifications Of

Development Of A Standard Report For Signal Verification On Public

S. M. Rajendran (u. A.) | Systematic Studies On Angiospermic Flora Of

Daniel Camara (u. A.) | Formal Verification Of Communication Protocols

Nikil D. Dutt (u. A.) | Functional Verification Of Programmable

Mayank Mishra (u. A.) | Seismic Verification And Inspection Of

Sjouke Mauw (u. A.) | Operational Semantics And Verification Of

Amir Pnueli (u. A.) | Temporal Verification Of Reactive Systems |

K. Rustan M. Leino (u. A.) | Verification, Model Checking, And

A Computed Verification Of Radiation And Light Field Size On Cobalt-60

Verification And Synthesis Of Digital Circuits | Chandan Karfa (u. A.)

Peng Li (u. A.) | Simulation And Verification Of Electronic And

Belgacem Ben Hedia (u. A.) | Verification And Evaluation Of Computer