Linked Data Explorerhttp://worldcat.org/entity/work/id/1012154252
A comparison of software verification techniques
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/1012154252#Topic/computer_systems_performance
- http://experiment.worldcat.org/entity/work/data/1012154252#Topic/program_verification_computers
- http://experiment.worldcat.org/entity/work/data/1012154252#Topic/computer_software_verification
- http://id.loc.gov/authorities/subjects/sh85029537
- http://experiment.worldcat.org/entity/work/data/1012154252#Topic/error_dectection_codes
http://schema.org/name
- "A comparison of software verification techniques"
- "A comparison of software verification techniques"@en