BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Monroy:Ra=uacute=l

Contributed to:

ASE 20002000
ASE 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.