【Alloy】形式言語による仕様記述【VDM】

[29 デフォルトの名無しさん 2013/01/20(日) 18:35:51.46]

>>25
そっち方面の学界が腐敗とまでは言わんが競争がなく濁ってるんじゃないか？
だから一流人材が出て来ない。