TY - RPRT TI - Environment Modeling Using Runtime Values for JPF-Android AU - van der Merwe, Heila AU - Tkachuk, Oksana AU - Nel, Seal AU - van der Merwe, Brink AU - Visser, Willem PY - 2015 UR - https://ntrs.nasa.gov/citations/20160000935 ID - 20160000935 ER -