本棚.org

UPPAALによる性能モデル検証 (トップエスイー実践講座)	kuwa
ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)	kuwa
並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ実践講座)	kuwa 岸リトル