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

Verification of M Faraday's hypothesis on the gravitational power line, Fachbücher von Arkady Serkov, Alex Serkov

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

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

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

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

Development Of A Standard Report For Signal Verification On Public

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

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

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

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

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

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

Faraday Rotation On Spaceborne Synthetic Aperture Radar Calibration Of

Mehdi Dastani (u. A.) | Specification And Verification Of Multi-agent

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