Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Formal_verification> }
- Fluctuat genre Formal_verification.
- Frama-C genre Formal_verification.
- KeY genre Formal_verification.
- slides1.pdf isCitedBy Formal_verification.
- seL4-spec.pdf isCitedBy Formal_verification.
- books?vid=ISBN978-1518681448 isCitedBy Formal_verification.
- 3f20dddd1f9f2c0456ece50109a4b4ba1fda831f637e1ddf9027c85fd2fe2777 isCitedBy Formal_verification.
- 448445002b1c3ec4e352adcc4911d0365a3910a9a997dd16d957561d9a080741 isCitedBy Formal_verification.
- 495c96b47b57d436e6ce314e7e8baeac48dfabbf6083762bf136cbfda6dfe97e isCitedBy Formal_verification.
- 8353fa28e379dc0b516ba9275f91624f3027987e07494f7dd461bc2a15580ff5 isCitedBy Formal_verification.
- c55fd9382f0c8b9c16bebd977fc2a00ba70180ddf8f868b3217cdd198be45c08 isCitedBy Formal_verification.
- ea15148167e9d064d2774d55e70f3180d35a85d750276305dc16d3c7801e5b0d isCitedBy Formal_verification.
- lics.2003.1210044 isCitedBy Formal_verification.
- formalverificationbook.com isCitedBy Formal_verification.
- Edsger_W._Dijkstra knownFor Formal_verification.
- Patrick_Lincoln knownFor Formal_verification.
- Jeremy_Avigad mainInterests Formal_verification.
- F*_(programming_language) paradigm Formal_verification.
- F*_(programming_language) typing Formal_verification.
- Formal_verification primaryTopic Formal_verification.