Author: Natsuko Noda
Publication Overview
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