An overview of the K semantic framework
Journal
-
- The Journal of Logic and Algebraic Programming
-
The Journal of Logic and Algebraic Programming 79 (6), 397-434, 2010-08
Elsevier BV
- Tweet
Details 詳細情報について
-
- CRID
- 1360857597061144192
-
- ISSN
- 15678326
-
- Data Source
-
- Crossref