default search action

combined dblp search
author search
venue search
publication search

ask others

1st F-IDE@ETAPS 2014: Grenoble, France

> Home > Conferences and Workshops > F-IDE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuboisGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuboisGM14
Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry:
Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. EPTCS 149, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LeinoW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LeinoW14
K. Rustan M. Leino, Valentin Wüstholz:
The Dafny Integrated Development Environment. 3-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BendispostoKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BendispostoKL14
Jens Bendisposto, Sebastian Krings, Michael Leuschel:
Who watches the watchers: Validating the ProB Validation Tool. 16-29
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JaumeL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JaumeL14
Mathieu Jaume, Théo Laurent:
Teaching Formal Methods and Discrete Mathematics. 30-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CokJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CokJ14
David R. Cok, Scott C. Johnson:
SPEEDY: An Eclipse-based IDE for invariant inference. 44-57
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DoligezFHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DoligezFHM14
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek:
Experience in using a typed functional language for the development of a security application. 58-63
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Pessaux14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Pessaux14
François Pessaux:
FoCaLiZe: Inside an F-IDE. 64-78
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Cok14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cok14
David R. Cok:
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. 79-92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/WitulskiL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WitulskiL14
John Witulski, Michael Leuschel:
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB. 93-105

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.