Non-deterministic expressions and predicate transformers.
| Xuất bản năm: | Information processing letters. 61, 5 (1997). |
|---|---|
| Tác giả chính: | |
| Định dạng: | Bài viết |
| Ngôn ngữ: | English |
| Những chủ đề: |
| Xuất bản năm: | Information processing letters. 61, 5 (1997). |
|---|---|
| Tác giả chính: | |
| Định dạng: | Bài viết |
| Ngôn ngữ: | English |
| Những chủ đề: |