Alloy: MModel-oriented specification language with automated analysis tool

Shin Nakajima, Naoyasu Ubayashi

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)78-83
Number of pages6
JournalComputer Software
Volume26
Issue number3
Publication statusPublished - Nov 4 2009
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software

Cite this