Ticiana Oniki Toffoli, Nádia Puchalski Kozievitch, Marcos André Gonçalves, Ricardo da Silva Torres. A formal approach for the specification of digital complex objects. In Cássio V. S. Prazeres, Paulo Nazareno Maia Sampaio, André Santanchè, Celso A. S. Santos, Rudinei Goularte, editors, 19th Brazilian Symposium on Multimedia and the Web, WebMedia '13, Salvador, Brazil, November 5-8, 2013. pages 125-132, ACM, 2013. [doi]
Abstract is missing.