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 × Finland
Collaborated with:
F.Gava M.Guedj
Talks about:
paderborn (1) algorithm (1) univers (1) subset (1) semant (1) formal (1) deduct (1) verif (1) state (1) space (1)

Person: Jean Fortin

DBLP DBLP: Fortin:Jean

Contributed to:

IFM 20132013
PDP 20092009

Wrote 2 papers:

IFM-2013-GavaFG #algorithm #deduction #verification
Deductive Verification of State-Space Algorithms (FG, JF, MG), pp. 124–138.
PDP-2009-GavaF #semantics #set
Two Formal Semantics of a Subset of the Paderborn University BSPlib (FG, JF), pp. 44–51.

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.