Natsuko Noda

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2006
Publication period end
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. http://doi.acm.org/10.1145/1183270