Formal Extreme (and Extremely Formal) Programming (2003)

by A Herranz, J J Moreno-Navarro
Venue:4th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2003, LNCS