%0 Conference Paper %1 conf/fm/FriasPBAM03 %A Frias, Marcelo F. %A Pombo, Carlos López %A Baum, Gabriel %A Aguirre, Nazareno %A Maibaum, T. S. E. %B FME %D 2003 %E Araki, Keijiro %E Gnesi, Stefania %E Mandrioli, Dino %I Springer %K %P 678-697 %T Taking Alloy to the Movies. %U http://dblp.uni-trier.de/db/conf/fm/fme2003.html#FriasPBAM03 %V 2805 %@ 3-540-40828-2

@inproceedings{conf/fm/FriasPBAM03, added-at = {2023-12-12T19:27:28.000+0100}, author = {Frias, Marcelo F. and Pombo, Carlos López and Baum, Gabriel and Aguirre, Nazareno and Maibaum, T. S. E.}, biburl = {https://www.bibsonomy.org/bibtex/26d89b5b4da61a45971cc99b39576d587/admin}, booktitle = {FME}, crossref = {conf/fm/2003}, editor = {Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dino}, ee = {https://doi.org/10.1007/978-3-540-45236-2_37}, interhash = {210309a7703e8dbc4133e3abdcea3863}, intrahash = {6d89b5b4da61a45971cc99b39576d587}, isbn = {3-540-40828-2}, keywords = {}, pages = {678-697}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:27:28.000+0100}, title = {Taking Alloy to the Movies.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme2003.html#FriasPBAM03}, volume = 2805, year = 2003 }