调整校对
发表于 2025-3-28 14:54:45
1868-0941on program verification for upper division of undergraduate studies or for graduate studies. It can also be used as an introduction to operational semantics. O978-1-4757-2714-2Series ISSN 1868-0941 Series E-ISSN 1868-095X
一骂死割除
发表于 2025-3-28 20:29:06
http://reply.papertrans.cn/99/9818/981713/981713_42.png
内部
发表于 2025-3-28 23:25:24
Verification of Sequential and Concurrent Programs
anus928
发表于 2025-3-29 03:28:52
http://reply.papertrans.cn/99/9818/981713/981713_44.png