BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
Collaborated with:
J.L.Jacob
Talks about:
confidenti (1) specifi (1) circus (1)

Person: Michael J. Banks

DBLP DBLP: Banks:Michael_J=

Contributed to:

FM 20112011

Wrote 1 papers:

FM-2011-BanksJ #specification
Specifying Confidentiality in Circus (MJB, JLJ), pp. 215–230.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.