Object oriented Formal Specification Development using VDM

Publication Information

Title

Japanese:
English:	Object oriented Formal Specification Development using VDM

Author

Japanese:	Amarit Laorakpong, 佐伯元司.
English:	Amarit Laorakpong, Motoshi Saeki.

Language

English

Journal/Book name

Japanese:
English:	Lecture Notes in Computer Science (International Symposium on Object Technologies for Advanced Software)

Volume, Number, Page

No. 742 pp. 529-543

Published date

Nov. 1993

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English: