default search action

combined dblp search
author search
venue search
publication search

ask others

25th WADT 2020: Virtual Event

> Home > Conferences and Workshops > WADT

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:
  - conf/wadt/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/2020
Markus Roggenbach:
Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12669, Springer 2021, ISBN 978-3-030-73784-9

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/PolP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/PolP20
Jaco van de Pol, Laure Petrucci:
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). 3-10

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BergstraT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BergstraT20
Jan A. Bergstra, John V. Tucker:
The Wheel of Rational Numbers as an Abstract Data Type. 13-30
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/000120
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/000120
Marco Bernardo:
Towards General Axiomatizations for Bisimilarity and Trace Semantics. 31-53
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Tour20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Tour20
Thierry Boy de la Tour:
Monographs, a Category of Graph Structures. 54-74
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/TourE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/TourE20
Thierry Boy de la Tour, Rachid Echahed:
Parallel Coherent Graph Transformations. 75-97
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/KlumppL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/KlumppL20
Dominik Klumpp, Philip Lenzen:
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages. 98-119
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/RosenbergerBKR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/RosenbergerBKR20
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach:
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. 120-141
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Roux020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Roux020
Navid Roux, Florian Rabe:
Structure-Preserving Diagram Operators. 142-163

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.