BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
D.M.0001 Z.Chihani A.Momigliano
Talks about:
proof (2) reconstruct (1) translat (1) properti (1) implicit (1) explicit (1) version (1) between (1) test (1) base (1)

Person: Roberto Blanco

DBLP DBLP: Blanco:Roberto

Contributed to:

CADE 20172017
PPDP 20192019

Wrote 2 papers:

CADE-2017-BlancoCM #proving
Translating Between Implicit and Explicit Versions of Proof (RB, ZC, DM0), pp. 255–273.
PPDP-2019-Blanco0M #proving #re-engineering #testing
Property-Based Testing via Proof Reconstruction (RB, DM0, AM), p. 13.
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.