Delcino Picinin Júnior, Jean-Marie Farines, and Cristian Koliver. 2012.
An approach to verify live NCL applications. In <em>Anais do XVIII Simpósio Brasileiro de Sistemas Multimídia e Web</em>, outubro 15, 2012, São Paulo, Brasil. SBC, Porto Alegre, Brasil, 223-232.