Safety Analysis of Hawk in Flight Monitor
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

Liz Whiting, Mike Hill
Safety Analysis of Hawk in Flight Monitor
PASTE, 1999.

PASTE 1999
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{PASTE-1999-WhitingH,
	author        = "Liz Whiting and Mike Hill",
	booktitle     = "{Proceedings of the Second Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/316158.316173",
	isbn          = "1-58113-137-2",
	pages         = "32--38",
	publisher     = "{ACM}",
	title         = "{Safety Analysis of Hawk in Flight Monitor}",
	year          = 1999,
}

Tags:



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.