Francisco A. P. Januário, Lucas C. Cordeiro, Vicente F. de Lucena, Eddie Batista de Lima Filho. BMCLua: Verification of Lua programs in digital TV interactive applications. In IEEE 3rd Global Conference on Consumer Electronics, GCCE 2014, Tokyo, Japan, 7-10 October 2014. pages 707-708, IEEE, 2014. [doi]
Abstract is missing.