Model checking, theorem proving, and abstract interpretation - The convergence of formal verification technologies
Thomas Henzinger
(szerző)
Ecole Polytechnique Fédérale de Lausanne
Recording date: 2006-09-19 14:45:00
Upload time: 2010-06-23 15:17:57