Mathematical theory of partial correctness

From BibNetWiki

Jump to: navigation, search

Z. Manna

Z. Manna - Mathematical theory of partial correctness

Journal of Computer and System Sciences 5(3):239--253, June, 1971

Author : Z. Manna
Title : Mathematical theory of partial correctness
Publication Type : Journal of Computer and System Sciences -
Address :
Date : June 1971

List of Papers citing this one.

List of Papers cited by this one.

Retrieved from "http://bibnetwiki.org/wiki/Mathematical_theory_of_partial_correctness"

Categories: Z. Manna Paper | Paper | Paper Year 1971 | Journal Journal of Computer and System Sciences

Views

Personal tools

Log in / create account

Search

Toolbox

related