Travelled to:
1 × Singapore
Collaborated with:
A.T.Nakagawa K.Futatsugi T.Shimizu
Talks about:
quickdraw (1) macintosh (1) algebra (1) specif (1) use (1) obj (1)
Person: Satoru Tomura
DBLP: Tomura:Satoru
Contributed to:
Wrote 1 papers:
- ICSE-1988-NakagawaFTS #algebra #specification #using
- Algebraic Specification of Macintosh’s Quickdraw Using OBJ2 (ATN, KF, ST, TS), pp. 334–343.