Formal verification of a realistic compiler

标题
Formal verification of a realistic compiler
作者
关键词
-
出版物
COMMUNICATIONS OF THE ACM
Volume 52, Issue 7, Pages 107
出版商
Association for Computing Machinery (ACM)
发表日期
2009-06-30
DOI
10.1145/1538788.1538814

向作者/读者发起求助以获取更多资源

Find the ideal target journal for your manuscript

Explore over 38,000 international journals covering a vast array of academic fields.

Search

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now