SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS

P KILPATRICK*, P MCPARLAND

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)459-475
Number of pages17
JournalLecture Notes in Computer Science
Volume328
Publication statusPublished - 1988

Cite this