Z, CSP, CCS, PI-Calculus, SMV, SPIN, Promela, Hore-clause, Prolog, VDM, Larch, CTL, LTL…
来吧，把我干掉吧！
或者是被我干掉！！！
This work, unless otherwise expressly stated, is licensed under a Creative Commons Attribution-No Derivative Works 2.5 China Mainland License.
那么大一堆，看得我头晕脑胀。好辛苦哦！加油，一个一个击毙它们
回复
肯定是被你干掉了三~好奸诈哦~
回复
foelin reply on 十二月 20th, 2008:
这两天正在挣扎啊~
回复
路过,写的不错.
回复