Formal methods in computer-aided design third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / - Hunt, Warren A.,; Johnson, Steven D. (Lecture notes in computer science ;)