| Title | Strong semantical characterization for nondeterministic programs |
| Publication Type | Journal Article |
| Authors | Csirmaz, L. |
| Journal title | Z. Math. Logik Grundlag. Math. |
| Year | 1987 |
| Pages | 407--416 |
| Volume | 33 |
| Issue | 5 |
| Language | eng |
| Notes | MR914482 (88m:03047); {'a} {'o} |
Unit:
Department of Mathematics and its Applications