Taking ::::Alloy:::: to the Movies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcelo F. Frias' in GoogleThis author has not been identified. Look up 'Carlos López Pombo' in GoogleThis author has not been identified. Look up 'Gabriel Baum' in GoogleThis author has not been identified. Look up 'Nazareno Aguirre' in GoogleThis author has not been identified. Look up 'T. S. E. Maibaum' in Google

runs on WebDSL