Diego Vallespir, Juliana Herbert. Effectiveness and Cost of Verification Techniques: Preliminary Conclusions on Five Techniques. In Alejandro P. Buchmann, editor, 2009 Mexican International Conference on Computer Science, ENC 2009, Mexico City, Mexico, September 21-25, 2009. pages 264-271, IEEE Computer Society, 2009. [doi]