Software Proposition Statement

From GM-RKB

Jump to navigation Jump to search

A Software Proposition Statement is a software statement that is a proposition statement.

See: Software Assertion, Mathematical Lemma.

Retrieved from "http://www.gabormelli.com/RKB/index.php?title=Software_Proposition_Statement&oldid=783182"

Concept