Q: A Sound Verification Framework for Statecharts and their Implementations.
Abstract not provided.
Pollard, Samuel↗
Engineering topics
Hulette, Geoffrey
Publications and source records attributed to Hulette, Geoffrey.
Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.
Abstract not provided.
Kellison, Ariel↗