|
|||||
|
|
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages |
|
| Authors: | Hahnle Reiner |
| Affiliation: | Chalmers University of Technology, School of Computer Science and Engineering, 41 296 Gothenburg, Sweden, E-mail: reiner{at}chalmers.se |
| Abstract: | |
| Keywords: | Formal specification many-valued logic partial functions abstraction |
| 本文献已被 Oxford 等数据库收录！ | |