Edinburgh Research Explorer

A Framework for Program Development Based on Schematic Proof

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
JournalProceedings of the 7th International Workshop on Software Specification and Design (IWSSD-93)
StatePublished - 1993

Download statistics

No data available

ID: 400832