代数的手法に基づくソフトウェアの検証の基礎的研究

書籍データ

平成7年度~9年度科学研究費補助金(基盤研究(C)(2))研究成果報告書

著者名：酒井正彦 [ほか著]他の作品を見る

出版社：者不明

発売日：1998.3

v, 94p 30cm

ISBN：