Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum. Taking ::::Alloy:::: to the Movies. In Keijiro Araki, Stefania Gnesi, Dino Mandrioli, editors, FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Volume 2805 of Lecture Notes in Computer Science, pages 678-697, Springer, 2003. [doi]
Abstract is missing.