default search action

combined dblp search
author search
venue search
publication search

ask others

FMTea 2021: Virtual Event

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > FMTea

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/tfm/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/2021
João F. Ferreira, Alexandra Mendes, Claudio Menghi:
Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings. Lecture Notes in Computer Science 13122, Springer 2021, ISBN 978-3-030-91549-0
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/AcetoI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/AcetoI21
Luca Aceto, Anna Ingólfsdóttir:
Introducing Formal Methods to First-Year Students in Three Intensive Weeks. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Gudemann21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Gudemann21
Matthias Güdemann:
Online Teaching of Verification of C Programs in Applied Computer Science. 18-34
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/HundeshagenL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/HundeshagenL21
Norbert Hundeshagen, Martin Lange:
A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper). 35-42
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/KamburjanG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/KamburjanG21
Eduard Kamburjan, Lukas Grätz:
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games. 43-59
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/KornerK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/KornerK21
Philipp Körner, Sebastian Krings:
Increasing Student Self-Reliance and Engagement in Model-Checking Courses. 60-74
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Lestingi21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Lestingi21
Livia Lestingi:
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper). 75-83
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Ettinger21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Ettinger21
Ran Ettinger:
Lessons of Formal Program Design in Dafny. 84-100
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/RungeBTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/RungeBTS21
Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer:
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. 101-116
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/VilladsenJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/VilladsenJ21
Jørgen Villadsen, Frederik Krogsdal Jacobsen:
Using Isabelle in Two Courses on Logic and Automated Reasoning. 117-132
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Yatapanage21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Yatapanage21
Nisansala Yatapanage:
Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming. 133-145

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.