A Framework for Program Development Based on Schematic Proof

David Basin, Alan Bundy, Ina Kraan, Sean Matthews

Research output: Contribution to journalArticlepeer-review

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

Cite this