Matches in DBpedia 2016-04 for { <http://formalverificationbook.com> ?p ?o }
Showing triples 1 to 4 of
4
with 100 triples per page.
- formalverificationbook.com isCitedBy Formal_verification.
- formalverificationbook.com title "Formal Verification: An Essential Tool for Modern VLSI Design by Erik Seligman, Tom Schubert, and M V Achutha Kirankumar".
- formalverificationbook.com url "http://formalverificationbook.com".
- formalverificationbook.com year "2015".