The Resource AFM: Automated Formal Methods, (electronic resource)

AFM: Automated Formal Methods, (electronic resource)

Label
AFM: Automated Formal Methods
Title
AFM: Automated Formal Methods
Creator
Contributor
Cataloging source
WaSeSS
http://bibfra.me/vocab/lite/collectionName
AFM: Automated Formal Methods (Online)
http://library.link/vocab/relatedWorkOrContributorName
ACM Digital Library
Label
AFM: Automated Formal Methods, (electronic resource)
Instantiates
Publication
Note
Title from content provider
Control code
OCM1ssib007257405
System control number
(WaSeSS)ssib007257405
System details
Mode of access: World Wide Web
Label
AFM: Automated Formal Methods, (electronic resource)
Publication
Note
Title from content provider
Control code
OCM1ssib007257405
System control number
(WaSeSS)ssib007257405
System details
Mode of access: World Wide Web

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...