Curriculum in cloud-based transaction systems. _澳门葡京手机版app下载

peterol
2021-10-20T09:37:26.428Z
type:structured-message
www.uio.no

1. The following overview paper on the use of formal methods at the University of Illinois Center for Assured Cloud Computing: Rakesh Bobba , Jon Grov , ...