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

All Science Journal Classification (ASJC) codes

  • Software

Cite this