Alloy: MModel-oriented specification language with automated analysis tool

Research output: Contribution to journal › Article › peer-review

All Science Journal Classification (ASJC) codes

@article{2fae061a69dc4f8f9fc0ddcf332259b6,

title = "Alloy: MModel-oriented specification language with automated analysis tool",

author = "Shin Nakajima and Naoyasu Ubayashi",

year = "2009",

month = nov,

day = "4",

language = "English",

volume = "26",

pages = "78--83",

journal = "Computer Software",

issn = "0289-6540",

publisher = "Japan Society for Software Science and Technology",

number = "3",

}

TY - JOUR

T1 - Alloy

T2 - MModel-oriented specification language with automated analysis tool

AU - Nakajima, Shin

AU - Ubayashi, Naoyasu

PY - 2009/11/4

Y1 - 2009/11/4

UR - http://www.scopus.com/inward/record.url?scp=70350459485&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70350459485&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:70350459485

VL - 26

SP - 78

EP - 83

JO - Computer Software

JF - Computer Software

SN - 0289-6540

IS - 3

ER -