Original language | English |
---|---|
Pages (from-to) | 459-475 |
Number of pages | 17 |
Journal | Lecture Notes in Computer Science |
Volume | 328 |
Publication status | Published - 1988 |
SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS
P KILPATRICK*, P MCPARLAND
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
1
Citation
(Scopus)