|
Verification of infinite-state systems with applications to security [electronic resource] : NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security
|
2006
|
1
|
|
verification requirements : Grady, Jeffrey O.,
|
2007
|
1
|
|
Verification techniques for system-level design : Fujita, Masahiro,
|
2008
|
1
|
|
The verifiers : Pek, Jane,
|
2022
|
1
|
|
Verify : Charbonneau, Joelle.
|
2019
|
1
|
|
Verify MesoNAM performance [electronic resource] : Bauman, William H.
|
2010
|
1
|
|
Verify North American Mesoscale model performance : Bauman, William H.
|
2010
|
1
|
|
verifying addresses : Watson, David
|
2013
|
1
|
|
verifying assumptions : Privitera, Mary Beth,
|
2015
|
1
|
|
verifying informal requirements : Voirin, Jean-Luc,
|
2018
|
1
|
|
verifying model requirements : Voirin, Jean-Luc,
|
2018
|
1
|
|
La veritable histoire des heros du Far West : Vignol, Christian,
|
2018
|
1
|
|
Veritable maniere d'apprendre a jouer en perfection. English : Freillon-Poncein, Jean-Pierre.
|
1973
|
1
|
|
Les veritables memoires de Vidocq (par Vidocq) : Vidocq, Francois-Eugene,
|
2011
|
1
|
|
Veritas (Eugene, Oregon) ; 17. : Edgar, Orion,
|
2016
|
1
|
|
Veritas (Eugene, Oregon) ; 18. : Reyburn, Duncan,
|
2016
|
1
|
|
Veritas paperbacks. : Ahmed, Leila,
|
2021
|
1
|
|
La verite : Molina Perez, Alberto,
|
2013
|
1
|