 |
|
| Jacques Loeckx |
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
Jacques Loeckx
E-Mail
loeckx@uni-koeln.de
Institution
Universität des Saarlandes!!! Seit dem Sommersemester 1997 emeritiert.
Publications
/Loeckx, 1987/ The Foundation of Program Verification
GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|