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

default search action

combined dblp search
author search
venue search
publication search

ask others

TFM 2009: Eindhoven, The Netherlands

> Home > Conferences and Workshops > TFM

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/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
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Kramer09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Kramer09
Jeffrey Kramer:
Abstraction and Modelling: A Complementary Partnership. 1
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/CatanoR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/CatanoR09
Néstor Cataño, Camilo Rueda:
Teaching Formal Methods for the Unconquered Territory. 2-19
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Olveczky09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Olveczky09
Peter Csaba Ölveczky:
Teaching Formal Methods Based on Rewriting Logic and Maude. 20-38
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/FerreiraMBB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/FerreiraMBB09
João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa:
Which Mathematics for the Information Society? 39-56
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/IshikawaTYH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/IshikawaTYH09
Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden:
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. 57-71
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/TarkanS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/TarkanS09
Sureyya Tarkan, Vibha Sazawal:
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z. 72-91
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Poll09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Poll09
Erik Poll:
Teaching Program Specification and Verification Using JML and ESC/Java2. 92-104
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/HallerstedeL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/HallerstedeL09
Stefan Hallerstede, Michael Leuschel:
How to Explain Mistakes. 105-124
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/AhrendtBH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/AhrendtBH09
Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle:
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. 125-143
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/KofronPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/KofronPS09
Jan Kofron, Pavel Parízek, Ondrej Sery:
On Teaching Formal Methods: Behavior Models and Code Analysis. 144-157
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/AcetoILS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/AcetoILS09
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba:
Teaching Concurrency: Theory in Practice. 158-175

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.