VDMTools for Object Oriented Specification Language VDM++

Shin Sahara; Keijiro Araki

doi:10.11309/jssst.24.2_14

VDMTools for Object Oriented Specification Language VDM++

Shin Sahara, Keijiro Araki

Advanced Software Engineering

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

Original language	English
Pages (from-to)	14-20
Number of pages	7
Journal	Computer Software
Volume	24
Issue number	2
DOIs	https://doi.org/10.11309/jssst.24.2_14
Publication status	Published - Jan 1 2007

All Science Journal Classification (ASJC) codes

Software

Access to Document

10.11309/jssst.24.2_14

Cite this

@article{cdd0df358c854df198e6ca8c91fe3158,

title = "VDMTools for Object Oriented Specification Language VDM++",

author = "Shin Sahara and Keijiro Araki",

year = "2007",

month = jan,

day = "1",

doi = "10.11309/jssst.24.2_14",

language = "English",

volume = "24",

pages = "14--20",

journal = "Computer Software",

issn = "0289-6540",

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

number = "2",

}

TY - JOUR

T1 - VDMTools for Object Oriented Specification Language VDM++

AU - Sahara, Shin

AU - Araki, Keijiro

PY - 2007/1/1

Y1 - 2007/1/1

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

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

U2 - 10.11309/jssst.24.2_14

DO - 10.11309/jssst.24.2_14

M3 - Article

AN - SCOPUS:85024722678

SN - 0289-6540

VL - 24

SP - 14

EP - 20

JO - Computer Software

JF - Computer Software

IS - 2

ER -

VDMTools for Object Oriented Specification Language VDM++

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this