Conference Proceeding
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.
| Status | Published |
|---|---|
| Publication date | 31/12/1989 |
| Publication date online | 31/10/1989 |
| Publisher | North Holland |
| Place of publication | Amsterdam |
| ISBN | 9780444883377 |
| Conference | Fourth SDL Forum |
| Conference location | Lisbon, Portugal |
| Dates | – |