Preface: [proceedings of the First international Workshop on Software Verification and Validation (SVV 2003)]

Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Downloads (Pure)
    Original languageEnglish
    Title of host publicationProceedings of the International Workshop on Software Verification and Validation (SVV 2003)
    EditorsS. Etalle, S. Mukhopadhyay, A. Roychoudhury
    Place of PublicationAmsterdam
    PublisherElsevier
    Number of pages1
    DOIs
    Publication statusPublished - 2003
    EventInternational Workshop on Software Verification and Validation, SVV 2003 - Mumbai, India
    Duration: 14 Dec 200314 Dec 2003

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    Volume118
    ISSN (Print)1571-0661

    Conference

    ConferenceInternational Workshop on Software Verification and Validation, SVV 2003
    Abbreviated titleSVV
    CountryIndia
    CityMumbai
    Period14/12/0314/12/03

    Cite this