Model checking, theorem proving, and abstract interpretation - The convergence of formal verification technologies

Tulajdonos: Videotorium admin

Kategóriák: Szoftverfejlesztés

Lejátszási listák: Verified software

Thomas Henzinger (szerző)
Ecole Polytechnique Fédérale de Lausanne
Felvétel dátuma: 2006-09-19 14:45:00
Feltöltés ideje: 2010-06-23 15:17:57

Betöltés...