Collaborated with:∅ A.Bundy I.Green
Talks about:conjectur (1) techniqu (1) correct (1) recurs (1) faulti (1) editor (1) abduct (1) verif (1) equat (1) plan (1)
Person: Raúl Monroy
DBLP: Monroy:Ra=uacute=l
Contributed to:
20001998Wrote 2 papers:
- ASE-2000-Monroy #abduction #recursion #using
- The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures (RM), pp. 91–100.
- ASE-1998-MonroyBG #equation #verification
- Planning Equational Verification in CCS (RM, AB, IG), pp. 43–52.