Jim Woodcook

• FM'99 - Formal Methods
• Testing Techniques in Software Engineering