Stem moon$ (all stems)

4 papers:

KDIR-KMIS-2013-Hugl #challenge #security

Crying for the Moon? — Current Challenges in Corporate Information Security Management (UH), pp. 579–586.

SEFM-2010-Giannakopoulou #quote #verification

“Fly Me to the Moon”: Verification of Aerospace Systems (DG), pp. 5–11.

HPDC-2010-LinMAFGZ #named #pipes and filters

MOON: MapReduce On Opportunistic eNvironments (HL, XM, JSA, WcF, MKG, ZZ), pp. 95–106.

TACAS-2009-BrughNR #dot-net #named #source code #verification

MoonWalker: Verification of .NET Programs (NHMAdB, VYN, TCR), pp. 170–173.