Login / Signup
Brian Wheelhouse
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Recognition Algorithm
Preprocessing
Minimum Spanning Tree
Formal Verification
Top Venues
HICSS
</>
Publications
</>
Brian Wheelhouse
,
Kenneth M. Hopkinson
,
Laura Humphrey
Formal Verification of Prim's Algorithm in SPARK.
HICSS
(2023)