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 × France
1 × Taiwan
Collaborated with:
A.Mammar M.Frappier
Talks about:
properti (2) verifi (2) reachabl (1) approach (1) proof (1) dynam (1) tool (1) base (1)

Person: Fama Diagne

DBLP DBLP: Diagne:Fama

Contributed to:

SEFM 20142014
SAC 20112011

Wrote 2 papers:

SEFM-2014-DiagneMF #verification
A Tool for Verifying Dynamic Properties in B (FD, AM, MF), pp. 290–295.
SAC-2011-MammarFD #approach #reachability #verification
A proof-based approach to verifying reachability properties (AM, MF, FD), pp. 1651–1657.

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.