| 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)