Tag:Hoare-logic

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Related Tags

Articles

Hoare logic (1)
logic programming wikipedia mathematics science computer theory testing cs hoare proof program software academic computing research hoare-logic hoarelogic geek technology test functionalprogramming math formal computer-science compsci correctness cuny-proglang embedded-module formalmethods

Retrieved from "http://en.wikipedia.org/wiki/Tag:Hoare-logic"

Views

Personal tools

Log in / create account

Search

Toolbox