Nalini Vasudevan

发表

Stephen A. Edwards, Nalini Vasudevan, S. A. Edwards, 2010, Synthesis of Embedded Software.