|
|||||
|
|
Current Trends in Logical Frameworks and Metalanguages |
|
| Authors: | David Basin Amy Felty |
| Affiliation: | (1) Institut für Informatik, Universität, Freiburg, Germany;(2) School of Information Technology and Engineering, University of Ottawa, Canada |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |