Model checking, theorem proving, and abstract interpretation - The convergence of formal verification technologies
Thomas Henzinger
(szerző)
Ecole Polytechnique Fédérale de Lausanne
Felvétel hossza (en): 01:41:21
Recording date: 2006-09-19 14:45:00
Upload time: 2010-06-23 15:17:57
Attachments
Presentations
Lejátszási lista: