학술논문
Algebraic-coalgebraic specification in COCASL
Document Type
Journal
Author
Source
Subject
Language
English
ISSN
15678326