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"