@inproceedings{LTV09,
title = {Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties },
author = {Lafourcade, Pascal and Terrade, Vanessa and Vigier, Sylvain},
month = {nov},
year = {2009},
booktitle = {sixth International Workshop on Formal Aspects in Security and Trust, (FAST'09)},
address = {Eindhoven, Netherlands},
team = {DCS},
}
