| Title | Nonstandard program runnings and correctness of programs |
| Publication Type | Journal Article |
| Authors | Csirmaz, L. |
| Journal title | Mat. Lapok |
| Year | 1978 |
| Pages | 81--125 |
| Volume | 30 |
| Issue | 1-3 |
| Language | eng |
| Notes | MR734608 (86k:68069); {'a} {'o} |
Unit:
Department of Mathematics and its Applications