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: Fortin:Jean
Contributed to:
2013
2009Wrote 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.