Statistics
Publications
2
Citations
184
H-Index
2
Active since
1992
John Van Tassel is an author specializing in deductive verification, formal methods, and computing.
Publications per year
1992–2021
2
2
Experience with Embedding Hardware Description Languages in HOL
Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon et al. · 1992 · 160 citations
The HOL verification of ELLA designs
Richard J. Boulton, Mike Gordon, John Herbert et al. · 2021 · 24 citations · Full text
1–2 of 2