受强制性开放获取政策约束的文章 - Matko Botincan了解详情
可在其他位置公开访问的文章：2 篇
Proof-directed parallelization synthesis by separation logic
M Botinčan, M Dodds, S Jagannathan
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (2), 1-60, 2013
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Formal verification-driven parallelisation synthesis
M Botinčan
University of Cambridge, Computer Laboratory, 2018
强制性开放获取政策： Bill & Melinda Gates Foundation
出版信息和资助信息由计算机程序自动确定