EEMCS EPrints Service
|
||||||||||||||||
2003
Etalle, S. and Mukhopadhyay, S. and Roychoudhury, A.
(2003)
Preface.
In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India.
1.
Electronic Notes in Theoretical Computer Science 118.
Elsevier.
ISSN 1571-0661
|
||||||||||||||||