Incremental Formalization with the Hyper-Object Substrate.
Frank M. Shipman III|Raymond McCall
| Anthology ID: | DBLP:journals/tois/ShipmanM99 |
|---|---|
| Year: | 1999 |
| Venue: | ACM Transactions on Information Systems (TOIS) |
| Pages: | 199-227 |
| URL: | https://doi.org/10.1145/306686.306690 |
| DOI: | https://doi.org/10.1145/306686.306690 |
| DBLP: | journals/tois/ShipmanM99 |
| BibTeX: |
@article{iii-1999-incremental,
author = {Frank M. Shipman III and
Raymond McCall},
title = {{Incremental Formalization with the Hyper-Object Substrate}},
journal = {ACM Transactions on Information Systems (TOIS)},
volume = {17},
number = {2},
pages = {199--227},
year = {1999},
url = {https://doi.org/10.1145/306686.306690},
doi = {https://doi.org/10.1145/306686.306690}
}