Detail
Title
A new verification framework of object-oriented design specification for small scale software
Authors
Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno
Bibliography
IEICE Transactions on Information and Systems, Vol. E80-D
Type
Paper
Date
January 1, 1997
Review
Not Reviewed
Presenters
Conference Schedule
From to
Conference Venue
Registration Date
Notes
Number
229
DOI
ISBN
ISSN
Society Name
Files
BibTeX
@article{sel229,
author = {Eun Mi Kim and Shinji Kusumoto and Tohru Kikuno},
title = {{A new verification framework of object-oriented design specification for small scale software}},
journal = {IEICE Transactions on Information and Systems},
volume = {E80-D},
year = 1997,
month = jan,
}