Travelled to:1 × Ireland
1 × The Netherlands
Collaborated with:P.Kilpatrick
Talks about:specif (2) statement (1) support (1) softwar (1) program (1) languag (1) complex (1) refin (1) vdm (1)
Person: P. McParland
DBLP: McParland:P=
Contributed to:
19881991Wrote 3 papers:
- VDME-1988-KilpatrickM #refinement #specification
- Software Support for the Refinement of VDM Specifications (PK, PM), pp. 459–475.
- VDME-1991-McParlandK #programming language #specification
- A Specification of a Complex Programming Language Statement (PM, PK), pp. 658–667.