Saito Takamichi
   Department   Undergraduate School  , School of Science and Technology
   Position   Professor
Language English
Publication Date 1999/10
Type International Conference
Title A Deduction Engine for Security Logic
Contribution Type Co-authored (first author)
Journal Proc. of the International Synposium on Future Software Technology ISFST-99, Software Engineers Association.
Volume, Issue, Page (ISBN 4-916227-07-7),pp.18-23
Author and coauthor Takamichi Saito, Wu Wen and Fumio Mizoguchi