|
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 |