Incremental Formalization with the Hyper-Object Substrate
Frank M. Shipman III, Raymond McCall
- Anthology ID:
- DBLP:journals/tois/ShipmanM99
- Volume:
- 1999 Volume 17 Issue 2
- Year:
- 1999
- Venue:
- tois_journal
- Pages:
- 199–227
- URL:
- https://doi.org/10.1145/306686.306690
- DOI:
- 10.1145/306686.306690
- DBLP:
- journals/tois/ShipmanM99
