%0 Generic %C Los Alamitos, Calif. : %D c2009. %E Dang, Hung Van, %E Krishnan, Padmanabhan, %I IEEE Computer Society, %@ 9780769538709 (pbk.) %@ 0769538703 (pbk.) %T SEFM 2009 Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam / %U http://SK8ES4MC2L.search.serialssolutions.com/?sid=sersol&SS_jc=TC0000566378&title=SEFM%202009%20%3A%20Seventh%20International%20Conference%20on%20Software%20Engineering%20and%20Formal%20Methods%20%3A%20proceedings%20%3A%20November%2023-27%2C%202009%2C%20Hanoi%2C%20Vietnam