Author: Tomoji Kishi

Publications

Publication period start: 2006
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Natsuko Noda
1

Productive Colleagues

Most productive colleagues in number of publications
Natsuko Noda
1

Publications

Kishi, Tomoji, Noda, Natsuko (2006): Formal verification and software product lines. In Communications of the ACM, 49 (12) pp. 73-77. https://dl.acm.org/doi/10.1145/1183270