VDMTools for Object Oriented Specification Language VDM++

Shin Sahara, Keijiro Araki

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)14-20
Number of pages7
JournalComputer Software
Volume24
Issue number2
DOIs
Publication statusPublished - Jan 1 2007

Fingerprint

Specification languages

All Science Journal Classification (ASJC) codes

  • Software

Cite this

VDMTools for Object Oriented Specification Language VDM++. / Sahara, Shin; Araki, Keijiro.

In: Computer Software, Vol. 24, No. 2, 01.01.2007, p. 14-20.

Research output: Contribution to journalArticle

Sahara, Shin ; Araki, Keijiro. / VDMTools for Object Oriented Specification Language VDM++. In: Computer Software. 2007 ; Vol. 24, No. 2. pp. 14-20.
@article{cdd0df358c854df198e6ca8c91fe3158,
title = "VDMTools for Object Oriented Specification Language VDM++",
author = "Shin Sahara and Keijiro Araki",
year = "2007",
month = "1",
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

VL - 24

SP - 14

EP - 20

JO - Computer Software

JF - Computer Software

SN - 0289-6540

IS - 2

ER -