Claudia Bauzer Medeiros
Institute of Computing—IC UNI CAMP—University of Campinas 13081-970 Campinas—SP Brazil
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research