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 × France
1 × Germany
Collaborated with:
E.C.R.Hehner T.Rebenich T.Tiropanis
Talks about:
project (1) system (1) summer (1) semant (1) scienc (1) master (1) inform (1) refin (1) manag (1) evalu (1)

Person: Andrew M. Gravell

DBLP DBLP: Gravell:Andrew_M=

Contributed to:

ITiCSE 20112011
World Congress on Formal Methods 19991999

Wrote 2 papers:

ITiCSE-2011-RebenichGT #information management
Evaluating a web-based information system for managing master of science summer projects (TR, AMG, TT), pp. 123–127.
FM-v2-1999-HehnerG #refinement #semantics
Refinement Semantics and Loop Rules (ECRH, AMG), pp. 1497–1510.

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.