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.












