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 × Austria
1 × France
Collaborated with:
M.Strecker R.Matthes M.Pantel
Talks about:
algorithm (2) construct (1) pointer (1) manipul (1) illustr (1) correct (1) verifi (1) schorr (1) verif (1) graph (1)

Person: Mathieu Giorgino

DBLP DBLP: Giorgino:Mathieu

Contributed to:

FM 20122012
LOPSTR 20102010

Wrote 2 papers:

FM-2012-GiorginoS #algorithm #correctness #pointer
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction (MG, MS), pp. 202–216.
LOPSTR-2010-GiorginoSMP #algorithm #graph #verification
Verification of the Schorr-Waite Algorithm — From Trees to Graphs (MG, MS, RM, MP), pp. 67–83.

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.