Edinburgh Research Explorer

Automatic guidance of program synthesis proofs

Research output: Working paperDiscussion paper

Related Edinburgh Organisations

Documents

Original languageEnglish
StateUnpublished - 2000

Download statistics

No data available

ID: 442901