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: LNCS, 5846, 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, pp. 125-143, 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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item