More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods Teaching (FMTea)

Teaching Formal Methods (TFM)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

FMTea 2024: Milan, Italy

- 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 [contents]

FMTea 2023: Lübeck, Germany

- view
  authority control:
- export record
  dblp key:
  - conf/tfm/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/2023
Catherine Dubois, Pierluigi San Pietro:
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings. Lecture Notes in Computer Science 13962, Springer 2023, ISBN 978-3-031-27533-3 [contents]

4th FMTea 2021 [virtual]

- 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 [contents]

3rd FMTea 2019: Porto, Portugal

- view
  authority control:
- export record
  dblp key:
  - conf/tfm/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/2019
Brijesh Dongol, Luigia Petre, Graeme Smith:
Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. Lecture Notes in Computer Science 11758, Springer 2019, ISBN 978-3-030-32440-7 [contents]

2nd TFM 2009: Eindhoven, The Netherlands

- view
  authority control:
- export record
  dblp key:
  - conf/tfm/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/2009
Jeremy Gibbons, José Nuno Oliveira:
Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Lecture Notes in Computer Science 5846, Springer 2009, ISBN 978-3-642-04911-8 [contents]

1st TFM 2004: Ghent, Belgium

- view
  authority control:
- export record
  dblp key:
  - conf/tfm/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/2004
C. Neville Dean, Raymond T. Boute:
Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings. Lecture Notes in Computer Science 3294, Springer 2004, ISBN 3-540-23611-2 [contents]

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.