Formal specification of information systems requirements.
| Anthology ID: | DBLP:journals/ipm/Kampfner85 |
|---|---|
| Year: | 1985 |
| Venue: | Information Processing and Management |
| Pages: | 401-414 |
| URL: | https://doi.org/10.1016/0306-4573(85)90086-X |
| DOI: | https://doi.org/10.1016/0306-4573(85)90086-X |
| DBLP: | journals/ipm/Kampfner85 |
| BibTeX: |
@article{kampfner-1985-formal,
author = {Roberto R. Kampfner},
title = {{Formal specification of information systems requirements}},
journal = {Information Processing and Management},
volume = {21},
number = {5},
pages = {401--414},
year = {1985},
url = {https://doi.org/10.1016/0306-4573(85)90086-X},
doi = {https://doi.org/10.1016/0306-4573(85)90086-X}
}