Travelled to:
1 × Ireland
Collaborated with:
J.L.Jacob
Talks about:
confidenti (1) specifi (1) circus (1)
Person: Michael J. Banks
DBLP: Banks:Michael_J=
Contributed to:
Wrote 1 papers:
- FM-2011-BanksJ #specification
- Specifying Confidentiality in Circus (MJB, JLJ), pp. 215–230.