Research and Verification on the Operational Semantics Model of DFL Programming Language

• 动态模糊逻辑程序设计语言的操作语义模型及验证