%0 Conference Paper %1 conf/ifm/MorilloV04 %A Morillo, Francisco José Galán %A Valdeón, José Miguel Cañete %B IFM %D 2004 %E Boiten, Eerke A. %E Derrick, John %E Smith, Graeme %I Springer %K dblp %P 521-540 %T A Method for Compiling and Executing Expressive Assertions. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2004.html#MorilloV04 %V 2999 %@ 3-540-21377-5

@inproceedings{conf/ifm/MorilloV04, added-at = {2017-05-24T00:00:00.000+0200}, author = {Morillo, Francisco José Galán and Valdeón, José Miguel Cañete}, biburl = {https://www.bibsonomy.org/bibtex/28c5d83ad94627fcfe6bca577479268b8/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2004}, editor = {Boiten, Eerke A. and Derrick, John and Smith, Graeme}, ee = {https://doi.org/10.1007/978-3-540-24756-2_28}, interhash = {d6541ccf535e7ecdb22f80fec90b2ddd}, intrahash = {8c5d83ad94627fcfe6bca577479268b8}, isbn = {3-540-21377-5}, keywords = {dblp}, pages = {521-540}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:46:09.000+0200}, title = {A Method for Compiling and Executing Expressive Assertions.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2004.html#MorilloV04}, volume = 2999, year = 2004 }