Formal Techniques for OO Software Development (Panel).

Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes

Browse the full OOPSLA paper archive.