Proof rules for the correctness of quant
β
Yuan Feng; Runyao Duan; Zhengfeng Ji; Mingsheng Ying
π
Article
π
2007
π
Elsevier Science
π
English
β 350 KB