Author: Tomoji Kishi
Publications
Publication period start: 2006
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
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