BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
S.Blazy V.Laporte D.Pichardie
Talks about:
interpret (1) abstract (1) analysi (1) formal (1) verif (1) valu (1) base (1)

Person: André Maroneze

DBLP DBLP: Maroneze:Andr=eacute=

Contributed to:

SAS 20132013

Wrote 1 papers:

SAS-2013-BlazyLMP #abstract interpretation #analysis #c #verification
Formal Verification of a C Value Analysis Based on Abstract Interpretation (SB, VL, AM, DP), pp. 324–344.

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.