default search action

combined dblp search
author search
venue search
publication search

ask others

3rd FROM 2019: Timişoara, Romania

> Home > Conferences and Workshops > FROM

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-1909-00584
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-00584
Mircea Marin, Adrian Craciun:
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019. EPTCS 303, 2019
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-01743
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-01743
Cezar-Constantin Andrici, Stefan Ciobaca:
Verifying the DPLL Algorithm in Dafny. 3-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1907-05029
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-05029
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta:
From Hybrid Modal Logic to Matching Logic and back. 16-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-01744
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-01744
Vlad Rusu, David Nowak:
(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic. 32-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-01745
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-01745
Georgiana Caltais:
Explaining SDN Failures via Axiomatisations. 48-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-01746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-01746
Georgiana Surlea, Adrian Craciun:
Gröbner Bases with Reduction Machines. 61-75
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-01747
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-01747
Isabela Dramnesc, Tudor Jebelean:
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema. 76-91
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-01748
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-01748
Bogdan Aman, Gabriel Ciobanu:
Probabilities in Session Types. 92-106
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-01750
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-01750
Lorenzo Capra:
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets. 107-119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-01751
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-01751
Andrei Alexandru, Gabriel Ciobanu:
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets. 120-134

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.