Travelled to:
1 × USA
Collaborated with:
L.Tran ∅
Talks about:
logic (2) program (1) visual (1) specif (1) action (1) base (1)
Person: John R. Fisher
DBLP: Fisher:John_R=
Contributed to:
Wrote 2 papers:
- SAC-1996-FisherT #logic #visual notation
- A visual logic (JRF, LT), pp. 17–21.
- SAC-1995-Fisher #logic programming #specification
- Logic program based action specifications (JRF), pp. 248–252.