Toshimi Sawada

According to our database, Toshimi Sawada authored at least 2 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

A tool for analyzing and detecting malicious mobile code.

Akira Mori, Tomonori Izumida, Toshimi Sawada, Tadashi Inoue

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2003

Past, Present, and Future of SRA Implementation of CafeOBJ: Annex.

Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi

Proceedings of the FME 2003: Formal Methods, 2003