Guest Book - Peter Reduchede - 01/17/2007

Home

Name:   Peter Reduchede
E-Mail:   redupete at yahoo.com
Location:   Peru, IL
Birth Year:   1954
Gender:   Male
Fortune:   Quote #592 The job of formal methods is to elucidate the assumptions upon which formal correctness depends. -- Tony Hoare


Archive | Sign