Formal Derivation Method of Programs
PENG Jia-Hong, ZHANG Jun
journal6 . 2001, (4): 54 -56 . 

Copyright © 2021 Editorial Department of Journal of Jishou University（Natural Sciences）
Add. :120 South Renmin Road,Jishou,Hunan 416000,P. R. China
Tel. (86)-743-8563684 email:jdxbziran@jsu.edu.cn  https://zkxb.jsu.edu.cn
Technical Support:Beijing Magtech Co., Ltd.
WeChat e-book chaoxing Mobile QQ