(2006). Fourth IEEE International Conference on Software Engineering and Formal Methods: SEFM 2006 : proceedings : 11-15 September 2006, Pune, India / edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et al.].
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Fourth IEEE International Conference on Software Engineering and Formal Methods: SEFM 2006 : Proceedings : 11-15 September 2006, Pune, India / Edited by Dang Van Hung, Paritosh Pandya ; Sponsored by Computer Society of India (CSI) ; Supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et Al.]. 2006.
MLA -ийн эшлэл (9 дэх хэвлэлт)Fourth IEEE International Conference on Software Engineering and Formal Methods: SEFM 2006 : Proceedings : 11-15 September 2006, Pune, India / Edited by Dang Van Hung, Paritosh Pandya ; Sponsored by Computer Society of India (CSI) ; Supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et Al.]. 2006.