Coverart for item
The Resource FMSE '07 : proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007, sponsored by ACM SIGSAC, (electronic resource)

FMSE '07 : proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007, sponsored by ACM SIGSAC, (electronic resource)

Label
FMSE '07 : proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007
Title
FMSE '07
Title remainder
proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007
Statement of responsibility
sponsored by ACM SIGSAC
Title variation
  • Formal Methods in Security Engineering '07
  • Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering
Title variation remainder
proceedings of the 2007 Association for Computing Machinery Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, United States of America, November 2, 2007
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
WaSeSS
LC call number
QA76.9.A25
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
ACM Workshop on Formal Methods in Security Engineering
http://library.link/vocab/relatedWorkOrContributorName
Association for Computing Machinery
http://library.link/vocab/subjectName
  • Computer security
  • Formal methods (Computer science)
Label
FMSE '07 : proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007, sponsored by ACM SIGSAC, (electronic resource)
Instantiates
Publication
Note
Includes index
Control code
OCM1bookssj0001172031
Dimensions
unknown
Extent
1 online resource (82 pages)
Isbn
9781595938879
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001172031
Label
FMSE '07 : proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007, sponsored by ACM SIGSAC, (electronic resource)
Publication
Note
Includes index
Control code
OCM1bookssj0001172031
Dimensions
unknown
Extent
1 online resource (82 pages)
Isbn
9781595938879
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001172031

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...