Guest Book - Arkan - 09/09/2005

Home

Name:   arkan
Gender:   Male
Fortune:   Quote #592 The job of formal methods is to elucidate the assumptions upon which formal correctness depends. -- Tony Hoare


Archive | Sign