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 |