| 主頁 > Techniques for program verification |
| Report | |
| Report number | CSL-81-10 |
| Title | Techniques for program verification |
| Author(s) | Nelson, G (Xerox Palo Alto) |
| Publication | Palo Alto, CA : Xerox Res. Cent., 1981 - 101. |
| Subject category | Computing and Computers |