TY  - BOOK
AU  - Hung, Dang Van
AU  - Pandya, Paritosh eds.,
TI  - Fourth IEEE international conference on software engineering and formal methods(SEFM 2006); proceedings, 11-15 September 2006 Pune, India
SN  - 0769526780
CY  - Los Alamitos
N1  - SEFM 2006
ER  -