並行システムの検証と実装

形式手法ＣＳＰに基づく高信頼並行システム開発入門　 トップエスイー実践講座