@article{BeckertEtAl2006,
author = {Bernhard Beckert and Tony Hoare and Reiner H\"ahnle and Douglas R. Smith and
Cordell Green and Silvio Ranise and Cesare Tinelli and Thomas Ball and Sriram K. Rajamani},
journal = {IEEE Intelligent Systems},
title = {Intelligent Systems and Formal Methods in Software Engineering},
publisher = {IEEE Computer Society},
volume = {21},
number = {6},
pages = {71--81},
year = {2006}
}
Intelligent Systems and Formal Methods in Software Engineering
| Autor(en): | Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball und Sriram K. Rajamani |
|---|---|
| Zeitschrift: | IEEE Intelligent Systems |
| Verleger: | IEEE Computer Society |
| Nummer: | 6 |
| Band: | 21 |
| Jahr: | 2006 |
| Seiten: | 71-81 |