|||
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
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-7-24 13:21
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社