default search action

combined dblp search
author search
venue search
publication search

ask others

4th F-IDE@FLoC 2018: Oxford, UK

> 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/abs-1811-09014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-09014
Paolo Masci, Rosemary Monahan, Virgile Prevosto:
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. EPTCS 284, 2018
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10814
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10814
Sylvain Dailler, Claude Marché, Yannick Moy:
Lightweight Interactive Proving inside an Automatic Program Verifier. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10815
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10815
Jan Bessai, Anna Vasileva:
User Support for the Combinator Logic Synthesizer Framework. 16-25
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10816
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10816
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene:
AsmetaF: A Flattener for the ASMETA Framework. 26-36
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10817
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10817
Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha:
Improving the Visualization of Alloy Instances. 37-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10818
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10818
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. 53-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10819
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10819
Makarius Wenzel:
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents. 71-84
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10820
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10820
Spencer Park, Emil Sekerinski:
A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). 85-94
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10821
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10821
Nathaniel Watson, Steve Reeves, Paolo Masci:
Integrating User Design and Formal Models within PVSio-Web. 95-104

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.