Computer Software
Print ISSN : 0289-6540
VDMTools for Object Oriented Specification Language VDM++
Shin SAHARAKeijiro ARAKI
Author information
JOURNAL FREE ACCESS

2007 Volume 24 Issue 2 Pages 2_14-2_20

Details
Article 1st page
Content from these authors
© Japan Society for Software Science and Technology 2007
Previous article Next article
feedback
Top