Linked Data Explorerhttp://worldcat.org/entity/work/id/54805036
Peer review of a formal verification/design proof methodology summary of a sub-working-group meeting
Open All Close All
http://schema.org/about
- http://id.loc.gov/authorities/subjects/sh2009121254
- http://id.loc.gov/authorities/subjects/sh2008112431
- http://experiment.worldcat.org/entity/work/data/54805036#Topic/software_engineering
- http://id.worldcat.org/fast/921988
- http://id.loc.gov/authorities/subjects/sh2008103617
- http://experiment.worldcat.org/entity/work/data/54805036#Topic/design_analysis
- http://experiment.worldcat.org/entity/work/data/54805036#Topic/proving
- http://id.worldcat.org/fast/1141401
- http://experiment.worldcat.org/entity/work/data/54805036#Topic/conferences
- http://id.worldcat.org/fast/872604
http://schema.org/genre
- "Conference papers and proceedings"
- "Conference papers and proceedings"@en
http://schema.org/name
- "Peer review of a formal verification/design proof methodology summary of a sub-working-group meeting"@en
- "Peer review of a formal verification/design proof methodology : summary of sub-working group meeting"
- "Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting"