IFM2005 doctoral symposium on integrated formal methods, Eindhoven, The Netherlands, November 29, 2005

  • J.M.T. Romijn (Editor)
  • , G. Smith (Editor)
  • , J.C. Pol, van de (Editor)

    Research output: Book/Report › Book editing › Academic

    170 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages80
    Publication statusPublished - 2005

    Publication series

    NameComputer science reports
    Volume0529
    ISSN (Print)0926-4515

    Access to Document

    • 200529Final published version, 1.7 MB

      Cite this