[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Zelkowitz90
  1. Marvin V Zelkowitz
  2. A Functional Correctness Model of Program Verification
  3. IEEE Computer magazine V23n11(Nov 1990)pp30-39
  4. =DEMO Formal Functional Education Trace Tables
    1. Trace_table::=trace_table_header #trace_table_row.
    2. trace_table_header::="Part"><"Cond"><#variable.
    3. trace_table_row::= statement_part><predicate><#expression.

      predicates and expressions expressed in terms of initial values of variables.
      Table
      Part Cond x y
      x:=x+y true x+y y
      if(x>y) x+y > y " "
      y:=x-1 true " x+y-1

      (Close Table)



Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]