| http://www.w3.org/ns/prov#value | - The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization. ; schema:exampleOfWork <http://worldcat.org/entity/work/id/1083207244> ; schema:genre Conference publication@en ; schema:inLanguage en ; schema:isPartO
|
