
Formal Methods and Software Engineering
Jin Song Dong, Huibiao Zhu
₹4,077

12th International Symposium, Sstd 2011, Minneapolis, Mn, Usa, August 24-26, 2011. Proceedings
by Dieter Pfoser, Yufei Tao, Kyriakos Mouratidis
Free delivery. Nothing extra to pay at checkout.
The 24 revised full papers presented together with one keynote, 8 short papers, and 8 demonstration papers, were thoroughly reviewed and selected from a total of 63 research submissions, 21 vision and challenges submissions and 16 demonstration submission
Description supplied by the publisher.