Login / Signup

Deductive Verification of System Software in the Verisoft XT Project.

Bernhard BeckertMichal Moskal
Published in: Künstliche Intell. (2010)
Keyphrases