@ARTICLE{chpl:93c,
AUTHOR = {Chadha, Ritu and Plaisted, David A.},
TITLE = {On the mechanical derivation of loop invariants},
JOURNAL = {Journal of Symbolic Computation},
YEAR = {1993},
NUMBER = {5/6},
VOLUME = {15},
PAGES = {705--744},
}
Entry last modified by Christine Kiesel, 08/28/2014
Edit History (please click the blue arrow to see the details)
| Editor(s)
[Library] | Created
01/14/1995 06:53:26 PM |
Revisions
8.
7.
6.
5.
4. | Editor(s)
Christine Kiesel
Uwe Brahm/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE | Edit Dates
05.09.2001 16:34:09
17/02/95 15:15:15
16/02/95 16:47:28
09/02/95 19:36:32
09/02/95 19:36:11 |