Author:Thomas Sewell

Publications
Formal Replay of Translation Validation for Highly Optimised C Thomas Sewell In:VPT 2014. Second International Workshop on Verification and Program Transformation