Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Program_verification> }
Showing triples 1 to 26 of
26
with 100 triples per page.
- BitC wikiPageWikiLink Program_verification.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Program_verification.
- Denotational_semantics wikiPageWikiLink Program_verification.
- Dependent_type wikiPageWikiLink Program_verification.
- Edsger_W._Dijkstra wikiPageWikiLink Program_verification.
- Entscheidungsproblem wikiPageWikiLink Program_verification.
- Extended_ML wikiPageWikiLink Program_verification.
- F*_(programming_language) wikiPageWikiLink Program_verification.
- Functional_verification wikiPageWikiLink Program_verification.
- Hoare_logic wikiPageWikiLink Program_verification.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Program_verification.
- Jacob_T._Schwartz wikiPageWikiLink Program_verification.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Program_verification.
- List_of_University_of_California,_Berkeley_faculty wikiPageWikiLink Program_verification.
- List_of_operating_systems wikiPageWikiLink Program_verification.
- Mathematical_logic wikiPageWikiLink Program_verification.
- Multimodal_logic wikiPageWikiLink Program_verification.
- Program_analysis wikiPageWikiLink Program_verification.
- Robert_W._Floyd wikiPageWikiLink Program_verification.
- Semantics_(computer_science) wikiPageWikiLink Program_verification.
- Separation_logic wikiPageWikiLink Program_verification.
- Trusted_computing_base wikiPageWikiLink Program_verification.
- Turing_Award wikiPageWikiLink Program_verification.
- Type_system wikiPageWikiLink Program_verification.
- Edsger_W._Dijkstra knownFor Program_verification.
- Program_verification primaryTopic Program_verification.