GDPA  
Raph Jeffords  

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

Name

Raph Jeffords

E-Mail

jeffords@itd.nrl.navy.mil

Address

NRL ITD 
Naval Research Laboratory
Information Technology Division
Code 5546
Washington, DC
20375 USA

Institution

Naval Research Laboratory - USA

Publications

/Jeffords, 1998/ Automatic Generation of State Invariants from Requirements Specifications

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster