Inductive learning applied to program construction and verification

Inductive Learning Applied to Program Construction and Verification | Extended Papers from the IFIP TC12 Workshop on Artificial Intelligence from the Information Processing Perspective: Knowledge Oriented Software Design ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search Journals Magazines Proceedings Books SIGs Conferences People More Search ACM Digital Library SearchSearch Advanced Search Browse Browse Digital Library Collections More Home Browse by Title Proceedings AIFIPP '92 Inductive Learning Applied to Program Construction and Verification Article Share on Inductive Learning Applied to Program Construction and Verification Authors: Ivan Bratko View Profile , Marko Grobelnik View Profile Authors Info & Claims AIFIPP '92: Extended Papers from the IFIP TC12 Workshop on Artificial Intelligence from the …