| Originele taal-2 | Engels |
|---|---|
| Titel | Proceedings International Conference for Young Computer Scientists (ICYCS'91, China, 1991) |
| Uitgeverij | International Academic Publishers |
| Pagina's | 305-313 |
| Status | Gepubliceerd - 1991 |
Formal verification of self modifying code
R.T. Gerth
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review