@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}
}