David Garlan;Alan W. Brown;Daniel Jackson;James E. Tomayko;Jeannette M. Wing
-;-;-;-;-
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Agents of Change: Educating Software Engineering Leaders
Computer