TU Darmstadt / ULB / TUbiblio

Intelligent Systems and Formal Methods in Software Engineering

Beckert, Bernhard and Hähnle, Reiner and Hoare, Tony and Smith, Douglas and Green, Cordell and Ranise, Silvio and Tinelli, Cesare and Ball, Thomas and Rajamani, Sriram (2006):
Intelligent Systems and Formal Methods in Software Engineering.
In: IEEE Intelligent Systems, pp. 71-81, 21, (6), DOI: 10.1109/MIS.2006.117, [Online-Edition: https://doi.org/10.1109/MIS.2006.117],
[Article]

Item Type: Article
Erschienen: 2006
Creators: Beckert, Bernhard and Hähnle, Reiner and Hoare, Tony and Smith, Douglas and Green, Cordell and Ranise, Silvio and Tinelli, Cesare and Ball, Thomas and Rajamani, Sriram
Title: Intelligent Systems and Formal Methods in Software Engineering
Language: German
Journal or Publication Title: IEEE Intelligent Systems
Volume: 21
Number: 6
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
DOI: 10.1109/MIS.2006.117
Official URL: https://doi.org/10.1109/MIS.2006.117
Identification Number: IntelligentSystems06
Export:

Optionen (nur für Redakteure)

View Item View Item