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

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

    Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

    174 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's80
    StatusGepubliceerd - 2005

    Publicatie series

    NaamComputer science reports
    Volume0529
    ISSN van geprinte versie0926-4515

    Toegang tot document

    • 200529Definitieve gepubliceerde versie, 1,7 MB

      Citeer dit