Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
Synthesis of implementations for divide-and-conquer specifications