GDPA  
/Cobleigh, 1999/  

A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z

Contents  
  • Identification
  • Author(s)
  • Congress/Conference/Publication
  • Products/projects
  • Related publications
  • Identification

    /Cobleigh, 1999/
    Verifying Properties of Process Definitions

    Author(s)

    Cobleigh, J.
    Clarke, L.
    Osterweil, L.

    Congress/Conference/Publication

    UM-CS-1999-063. University of Massachusets at Amherst, 1999.

    Related publications

    Process Definition

    This page online  •  GDPA Online  •  Last Updated 10.June.2002 by C. Freericks