Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-
コンピュータソフトウェア, vol.30, no.3, pp.187-193 (2013)
タグ: alloy, analyzer, annotations, cations, defects, detecting, jml, method, speci
@article{森恵弥佳2013b,
author = {森 恵弥佳 and 岡野 浩三 and 楠本 真二},
title = {Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-},
journal = {コンピュータソフトウェア},
volume = {30},
number = {3},
pages = {187--193},
year = {2013},
month = {aug}
}