Hung, Dang Van Pandya, Paritosh eds.,
Fourth IEEE international conference on software engineering and formal methods(SEFM 2006); proceedings, 11-15 September 2006 Pune, India - Los Alamitos IEEE 2006 - 263
SEFM 2006
0769526780
681.3 IEEE
Fourth IEEE international conference on software engineering and formal methods(SEFM 2006); proceedings, 11-15 September 2006 Pune, India - Los Alamitos IEEE 2006 - 263
SEFM 2006
0769526780
681.3 IEEE