WorldCat Linked Data Explorer

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

Toward interactive design of correct programs /

Open All Close All

http://schema.org/name

  • "toward interactive design of correct programs."
  • "Toward interactive design of correct programs /"@en
  • "Toward interactive design of correct programs"