2011 Harlan Mills Award - IEEE Computer Society Technical Council on Software Engineering - IEEE Computer Society Technical Council on Software Engineering

TECHNICAL ACTIVITIES

2011 Harlan Mills Award

John Rushby

SRI International
USA