Alloy: MModel-oriented specification language with automated analysis tool

Shin Nakajima, Naoyasu Ubayashi

研究成果: Contribution to journalArticle査読

本文言語英語
ページ(範囲)78-83
ページ数6
ジャーナルComputer Software
26
3
出版ステータス出版済み - 11 4 2009
外部発表はい

All Science Journal Classification (ASJC) codes

  • Software

引用スタイル