|
|||||
|
|
The Schorr-Waite marking algorithm revisited |
|
| Authors: | Nachum Dershowitz |
| Affiliation: | Department of Computer Science, University of Illinois, Urbana, IL 61801, U.S.A. |
| Abstract: | |
| Keywords: | Program correctness marking algorithms program transformation Schorr-Waite algorithm stepwise refinement |
| 本文献已被 ScienceDirect 等数据库收录！ | |