BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
verif (2)
cri (1)
map (1)
aerospac (1)
walker (1)

Stem moon$ (all stems)

4 papers:

KDIRKDIR-KMIS-2013-Hugl #challenge #security
Crying for the Moon? — Current Challenges in Corporate Information Security Management (UH), pp. 579–586.
SEFMSEFM-2010-Giannakopoulou #quote #verification
“Fly Me to the Moon”: Verification of Aerospace Systems (DG), pp. 5–11.
HPDCHPDC-2010-LinMAFGZ #named #pipes and filters
MOON: MapReduce On Opportunistic eNvironments (HL, XM, JSA, WcF, MKG, ZZ), pp. 95–106.
TACASTACAS-2009-BrughNR #dot-net #named #source code #verification
MoonWalker: Verification of .NET Programs (NHMAdB, VYN, TCR), pp. 170–173.

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.