General ComputingSoftware Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Item 1 of 1
Item 1 of 1
SKU 9783642338250Publishing Ref 9783642338250
Springer
Software Engineering and Formal Methods : 10th International Conference