WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1152475936

Proceedings of the 2004 ACM workshop on Formal methods in security engineering

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "FMSE 2004"
  • "FMSE '04"@en
  • "FMSE '04"
  • "2004 ACM Workshop on Formal Methods in Security Engineering"@en
  • "CCS 2004"@en
  • "Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering"@en
  • "Formal methods in security engineering"@en

contributor

creator

genre

http://schema.org/genre

  • "Conference papers and proceedings"@en
  • "Electronic books"@en

name

http://schema.org/name

  • "FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : co-located with CCS 2004"
  • "Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering"
  • "FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004, co-located with CCS 2004 00"
  • "Proceedings of the 2004 ACM workshop on Formal methods in security engineering"@en
  • "Proceedings of the 2004 ACM workshop on Formal methods in security engineering"
  • "FMSE '04 proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS '2004"@en
  • "FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004"@en
  • "FMSE'04 proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004"
  • "FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington DC, USA, October 29, 2004 : co-located with CCS '04"
  • "FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004"@en
  • "FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004; co-located with CCS 2004"
  • "FMSE '04 : proceedings of the 2004 ACM workshop on formal methods in security engineering : Washington, DC, USA, October 29, 2004, co-located with CCS 2004"

workExample