Ditemukan 1 dokumen yang sesuai dengan query
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from...
Berlin: Springer-Verlag, 2012
e20407834
eBooks Universitas Indonesia Library
