Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Refinement_calculus> }
Showing triples 1 to 17 of
17
with 100 triples per page.
- Calculus_(disambiguation) wikiPageDisambiguates Refinement_calculus.
- Refinement_Calculus wikiPageRedirects Refinement_calculus.
- Calculus_(disambiguation) wikiPageWikiLink Refinement_calculus.
- Carroll_Morgan_(computer_scientist) wikiPageWikiLink Refinement_calculus.
- Edsger_W._Dijkstra wikiPageWikiLink Refinement_calculus.
- Guarded_Command_Language wikiPageWikiLink Refinement_calculus.
- Hoare_logic wikiPageWikiLink Refinement_calculus.
- Java_Modeling_Language wikiPageWikiLink Refinement_calculus.
- List_of_formal_systems wikiPageWikiLink Refinement_calculus.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Refinement_calculus.
- Object-Z wikiPageWikiLink Refinement_calculus.
- Predicate_transformer_semantics wikiPageWikiLink Refinement_calculus.
- RCOS_(computer_sciences) wikiPageWikiLink Refinement_calculus.
- Ralph-Johan_Back wikiPageWikiLink Refinement_calculus.
- Refinement_(computing) wikiPageWikiLink Refinement_calculus.
- Refinement_Calculus wikiPageWikiLink Refinement_calculus.
- Refinement_calculus primaryTopic Refinement_calculus.