×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [rules of implication]
Home >
rules of implication
Program Proving Notes Ellen L. Walker. Formal Specification & Proof of Programs (Verification) –Formally proving that a program satisfies a formal specification.
219 views
CS 363 Comparative Programming Languages
65 views