Machine-readable semantics for automatic verification tools

Question

emberian opened this issue 9 months ago · 0 comments