Using Hoare Logic in a Process Algebra Setting

标题
Using Hoare Logic in a Process Algebra Setting
作者
关键词
-
出版物
FUNDAMENTA INFORMATICAE
Volume 179, Issue 4, Pages 321-344
出版商
IOS Press
发表日期
2021-05-15
DOI
10.3233/fi-2021-2026

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

Create your own webinar

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

Create Now

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started