TU Darmstadt / ULB / TUbiblio

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification

Ahrendt, Wolfgang and Bubel, Richard and Hähnle, Reiner
Gibbons, J. and Oliveira, J. N. (eds.) (2009):
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
In: Proc. Second International Conference on Teaching Formal Methods, Springer-Verlag, In: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, November 2-6, 2009, In: LNCS, DOI: 10.1007/978-3-642-04912-5_9, [Online-Edition: https://doi.org/10.1007/978-3-642-04912-5_9],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2009
Editors: Gibbons, J. and Oliveira, J. N.
Creators: Ahrendt, Wolfgang and Bubel, Richard and Hähnle, Reiner
Title: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Language: German
Title of Book: Proc. Second International Conference on Teaching Formal Methods
Series Name: LNCS
Volume: 5846
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Teaching Formal Methods, Second International Conference, TFM 2009
Event Location: Eindhoven
Event Dates: November 2-6, 2009
Date Deposited: 31 Dec 2016 10:40
DOI: 10.1007/978-3-642-04912-5_9
Official URL: https://doi.org/10.1007/978-3-642-04912-5_9
Identification Number: ABH09
Export:

Optionen (nur für Redakteure)

View Item View Item