Travelled to:
1 × Germany
Collaborated with:
W.C.Rounds
Talks about:
structur (1) specifi (1) partial (1) logic (1) data (1)
Person: M. Drew Moshier
DBLP: Moshier:M=_Drew
Contributed to:
Wrote 1 papers:
- POPL-1987-MoshierR #data type #logic
- A Logic for Partially Specified Data Structures (MDM, WCR), pp. 156–167.