The Partial Correctness Semantics of Imperative fuzzy Programming Language

Hengyang Wu, Yixiang Chen. The Partial Correctness Semantics of Imperative fuzzy Programming Language. In Guojun Wang 0004, Bin Zhao, Yongmin Li 0001, editors, Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012. Volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, 2012. [doi]

Authors

Hengyang Wu

This author has not been identified. Look up 'Hengyang Wu' in Google

Yixiang Chen

This author has not been identified. Look up 'Yixiang Chen' in Google