最后，探讨了动作细化在规范语言层次化描述中的作用。

At last, discusses the important role of action refinement in specification language's hierarchical descriptions.

youdao

最后，探讨了动作细化在规范语言层次化描述中的作用。

At last, discusses the important role of action refinement in specification language's hierarchical descriptions.

youdao