Login / Signup

Formal verification of software source code through semi-automatic modeling.

Cindy Eisner
Published in: Softw. Syst. Model. (2005)
Keyphrases