 |
|
| /Loeckx, 1987/ |
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
/Loeckx, 1987/ The Foundation of Program Verification
Author(s)
Loeckx, J.Sieber, K.
Congress/Conference/Publication
Teubner, 2. Auflage, 1987.
Related publications
Development Phases: Verification
 GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|