Interpolation in Practical Formal Development

D Gabbay, J Bicarregui, T Maibaum

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)231 - 244
Number of pages14
JournalLOGIC JOURNAL- IGPL
Volume9
Publication statusPublished - 2001

Cite this