Heuristics for constructing while loops
- 作者Fatma Mili; Ali Mili
- 卷第18卷
- 期第1期
- 印刷ISSN0167-6423
- 文件大小2356.69KB
- 发表时间1992
- DOI10.1016/0167-6423(92)90034-9
- 页码67-106
同作者推荐
Smoothsort revisitedCoenraad Bron; Wim H. Hesselink · 1991
LR-parsing derivedWim H. Hesselink · 1992
Interpretations of recursion under unbounded nondeterminacyWim H. Hesselink · 1988
Processes and formalisms for unbounded choiceWim H. Hesselink · 1992
Formalizing a Hierarchical File SystemWim H. Hesselink; M.I. Lali · 2009
Simulation Refinement for Concurrency VerificationWim H. Hesselink · 2008
A challenge for atomicity verificationWim H. Hesselink · 2008
Repetitions, known or unknown?Wim H. Hesselink · 1991