DOI,IST REx ID,Research Group,Title of publication
10.1145/3385412.3385980,8012,ToHe,Inductive sequentialization of asynchronous programs
10.1145/3385412.3385969,8089,KrCh,Polynomial invariant generation for non-deterministic recursive programs