Statistics
Publications
1
Citations
21
H-Index
1
Active since
2002
Affiliations
The University of Texas at Austin(Current)
William Canfield is an author at The University of Texas at Austin specializing in formal verification, system software, and computer engineering.
Publications per year
2002–2002
1
1
Checking formal specifications under simulation
William Canfield, E. Allen Emerson, Anindya Saha · 2002 · 21 citations
1–1 of 1