BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Norway
1 × The Netherlands
Collaborated with:
H.Treharne M.J.Butler S.A.Schneider R.Laleau M.Frappier
Talks about:
inform (2) properti (1) softwar (1) develop (1) control (1) barrier (1) authent (1) verifi (1) system (1) record (1)

Person: Neil Evans

DBLP DBLP: Evans:Neil

Contributed to:

FM 20152015
FM 20062006
IFM 20052005
SEFM 20042004

Wrote 4 papers:

FM-2015-Evans #authentication #development
Software Development and Authentication for Arms Control Information Barriers (NE), pp. 581–584.
A Proposal for Records in Event-B (NE, MJB), pp. 221–235.
IFM-2005-SchneiderTE #component #csp #named #verification
Chunks: Component Verification in CSP||B (SAS, HT, NE), pp. 89–108.
SEFM-2004-EvansTLF #how #information management #verification
How to Verify Dynamic Properties of Information Systems (NE, HT, RL, MF), pp. 416–425.

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.