ON THE MECHANICAL DERIVATION OF LOOP INVARIANTS

Authors
CHADHA R PLAISTED DA
Citation
R. Chadha et Da. Plaisted, ON THE MECHANICAL DERIVATION OF LOOP INVARIANTS, Journal of symbolic computation, 15(5-6), 1993, pp. 705-744
Citations number
26
Categorie Soggetti
Mathematics,"Computer Sciences, Special Topics",Mathematics,"Computer Applications & Cybernetics
Journal title
Journal of symbolic computation → ACNP
ISSN journal
07477171
Volume
15
Issue
5-6
Year of publication
1993
Pages
705 - 744
Database
ISI
SICI code
0747-7171(1993)15:5-6<705:OTMDOL>2.0.ZU;2-C