Conference Paper (published)

The Automated Checking of Specifications Written in SDL

Details

Citation

Magill E & Smith DG (1989) The Automated Checking of Specifications Written in SDL. In: Faergemand O & Marques M (eds.) SDL '89: the language at work :proceedings of the Fourth SDL Forum, Lisbon, Portugal, 9-13 October, 1989. Fourth SDL Forum, Lisbon, Portugal, 09.10.1989-13.10.1989. Amsterdam: North Holland, pp. 247-256.

StatusPublished
Publication date31/12/1989
Publication date online31/10/1989
PublisherNorth Holland
Place of publicationAmsterdam
ISBN9780444883377
ConferenceFourth SDL Forum
Conference locationLisbon, Portugal
Dates