ACT ONE A specification language. ["An Algebraic Specification Language with Two Levels of Semantics", H. Ehrig et al, Tech U Berlin 83-1983-02-03]. (1994-11-08)
版權所有 © 2024 3Dict.net