학술논문
Using theory morphisms for implementing formal methods tools.
Document Type
Proceedings Paper
Author
Brucker, Achim D. (D-FRBG-I) AMS Author Profile; Wolff, Burkhart (D-FRBG-I) AMS Author Profile
Source
Subject
68 Computer science -- 68Q Theory of computing
68Q55Semantics
68Q55
Language
English