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:
M.J.Frade J.S.Pinto
Talks about:
approach (1) program (1) complet (1) formal (1) assign (1) verif (1) singl (1) adapt (1)

Person: Cláudio Belo Lourenço

DBLP DBLP: Louren=ccedil=o:Cl=aacute=udio_Belo

Contributed to:

ESOP 20162016

Wrote 1 papers:

ESOP-2016-LourencoFP #adaptation #approach #formal method #verification
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (CBL, MJF, JSP), pp. 41–67.

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.