WorldCat Linked Data Explorer

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

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

A necessary and sufficient condition for the existence of Hoare logics

Open All Close All

type

about

creator

name

http://schema.org/name

  • "A necessary and sufficient condition for the existence of Hoare logics"@en
  • "A necessary and sufficient condition for the existence of hoare logics"
  • "A necessary and sufficient condition for the existence of Hoare Logics"

workExample