Search Results - Prun, Étienne

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"

    Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa" by Burdy, Lilian, Déharbe, David, Prun, Étienne

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"

    Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa" by Burdy, Lilian, Déharbe, David, Prun, Étienne

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Applying a Formal Method in Industry: a 25-Year Trajectory

    Applying a Formal Method in Industry: a 25-Year Trajectory by Lecomte, Thierry, Deharbe, David, Prun, Etienne, Mottin, Erwan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Low Cost High Integrity Platform

    Low Cost High Integrity Platform by Lecomte, Thierry, Deharbe, David, Sabatier, Denis, Prun, Etienne, Péronne, Patrick, Chailloux, Emmanuel, Varoumas, Steven, Adilla Susungi, Conchon, Sylvain

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: