Search dblp for Publications

export results for "toc:db/conf/tfm/tfm2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tfm/AcetoILS09,
  author       = {Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Kim Guldstrand Larsen and
                  Jir{\'{\i}} Srba},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Teaching Concurrency: Theory in Practice},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {158--175},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_11},
  doi          = {10.1007/978-3-642-04912-5\_11},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/AcetoILS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/AhrendtBH09,
  author       = {Wolfgang Ahrendt and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Integrated and Tool-Supported Teaching of Testing, Debugging, and
                  Verification},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {125--143},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_9},
  doi          = {10.1007/978-3-642-04912-5\_9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/AhrendtBH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/CatanoR09,
  author       = {N{\'{e}}stor Cata{\~{n}}o and
                  Camilo Rueda},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Teaching Formal Methods for the Unconquered Territory},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {2--19},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_2},
  doi          = {10.1007/978-3-642-04912-5\_2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/CatanoR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/FerreiraMBB09,
  author       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Roland Carl Backhouse and
                  Lu{\'{\i}}s Soares Barbosa},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Which Mathematics for the Information Society?},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {39--56},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_4},
  doi          = {10.1007/978-3-642-04912-5\_4},
  timestamp    = {Fri, 22 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/FerreiraMBB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/HallerstedeL09,
  author       = {Stefan Hallerstede and
                  Michael Leuschel},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {How to Explain Mistakes},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {105--124},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_8},
  doi          = {10.1007/978-3-642-04912-5\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/HallerstedeL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/IshikawaTYH09,
  author       = {Fuyuki Ishikawa and
                  Kenji Taguchi and
                  Nobukazu Yoshioka and
                  Shinichi Honiden},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {What Top-Level Software Engineers Tackle after Learning Formal Methods:
                  Experiences from the Top {SE} Project},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {57--71},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_5},
  doi          = {10.1007/978-3-642-04912-5\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/IshikawaTYH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/KofronPS09,
  author       = {Jan Kofron and
                  Pavel Par{\'{\i}}zek and
                  Ondrej Sery},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {On Teaching Formal Methods: Behavior Models and Code Analysis},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {144--157},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_10},
  doi          = {10.1007/978-3-642-04912-5\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/KofronPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Kramer09,
  author       = {Jeffrey Kramer},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Abstraction and Modelling: {A} Complementary Partnership},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {1},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_1},
  doi          = {10.1007/978-3-642-04912-5\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/Kramer09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Olveczky09,
  author       = {Peter Csaba {\"{O}}lveczky},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Teaching Formal Methods Based on Rewriting Logic and Maude},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {20--38},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_3},
  doi          = {10.1007/978-3-642-04912-5\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/Olveczky09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Poll09,
  author       = {Erik Poll},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Teaching Program Specification and Verification Using {JML} and ESC/Java2},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {92--104},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_7},
  doi          = {10.1007/978-3-642-04912-5\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/Poll09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/TarkanS09,
  author       = {Sureyya Tarkan and
                  Vibha Sazawal},
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Chief Chefs of {Z} to Alloy: Using a Kitchen Example to Teach Alloy
                  with {Z}},
  booktitle    = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  pages        = {72--91},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5\_6},
  doi          = {10.1007/978-3-642-04912-5\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/TarkanS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tfm/2009,
  editor       = {Jeremy Gibbons and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
                  Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5846},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04912-5},
  doi          = {10.1007/978-3-642-04912-5},
  isbn         = {978-3-642-04911-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.