rsltcをインストール 



RAISE-SLの型チェッカーrsltcをインストールした。
ネタもと= Dines Byorner: Software Engineering 1 Abstraction and Modeling, Springer 2006 

Posted: 日 - 3月 5, 2006 at 05:21 午前          

©