Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is table;program  [Clear All Filters]
Journal Articles
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.