Ditemukan 1 dokumen yang sesuai dengan query
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ? organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410163
eBooks Universitas Indonesia Library
