博文
review: Preface to Special Issue on Software Verification
|||
Preface to Special Issue on Software Verification
C.A.R. HOARE and JAYADEV MISRA
ACM Computing Surveys, Vol. 41, No. 4, Article 18, Publication date: October 2009
concurrent programming
-- temporal logic
-- process algebras
Concurrency theory
Verified Software Initiative
Preface to Special Issue on Software Verification.pdf
https://blog.sciencenet.cn/blog-468147-705266.html
上一篇：类型理论
下一篇：review: Editorial
扫一扫，分享此博文