default search action

combined dblp search
author search
venue search
publication search

ask others

6th FMTea 2024: Milan, Italy

> 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/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/2024
Emil Sekerinski, Leila Ribeiro:
Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings. Lecture Notes in Computer Science 14939, Springer 2024, ISBN 978-3-031-71378-1

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Platzer24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Platzer24
André Platzer:
The Significance of Symbolic Logic for Scientific Education. 3-22

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/tfm/SoaibuzzamanR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/SoaibuzzamanR24
Soaibuzzaman, Jan Oliver Ringert:
Introducing GitHub Classroom into a Formal Methods Module. 25-42
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/NegriniAOCF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/NegriniAOCF24
Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara:
Teaching Through Practice: Advanced Static Analysis with LiSA. 43-57
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Carvalho24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Carvalho24
Gustavo Carvalho:
Teaching Formal Methods for 10 Years: Reflections on theories, tools, materials, and communities. 58-74
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/PadalinoPSNR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/PadalinoPSNR24
Luca Padalino, Francesca Pia Panaccione, Francesco Santambrogio, Elisabetta Di Nitto, Matteo G. Rossi:
An Educational Module for Temporal Features in Alloy 6. 75-90
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Mery24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Mery24
Dominique Méry:
Checking Contracts in Event-B - Reporting the Introduction and the Use of Automated Tools for Verifying Software-Based Systems in Higher Education. 91-105
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/HallerstedeHR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/HallerstedeHR24
Stefan Hallerstede, John Hatcliff, Robby:
Teaching with Logika: Conceiving and Constructing Correct Software. 106-123
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/BruckerM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/BruckerM24
Achim D. Brucker, Diego Marmsoler:
Teaching Formal Methods in Application Domains - A Case Study in Computer and Network Security. 124-140

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.