@article{journals/expert/BeckertHHSGRTBR06,
title = {Intelligent Systems and Formal Methods in Software Engineering.},
author = {Bernhard Beckert and Tony Hoare and Reiner Hähnle and Douglas R. Smith and Cordell Green and Silvio Ranise and Cesare Tinelli and Thomas Ball and Sriram K. Rajamani},
journal = {IEEE Intelligent Systems},
number = {6},
pages = {71-81},
url = {http://dblp.uni-trier.de/db/journals/expert/expert21.html#BeckertHHSGRTBR06},
volume = {21},
year = {2006},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/MIS.2006.117}, date = {2008-06-05},
keywords = {dblp }
}
::