@inproceedings{PolikarpovaMoskal2012, author = {Nadia Polikarpova and Michał Moskal}, title = {Verifying Implementations of Security Protocols by Refinement}, booktitle = {VSTTE}, year = {2012}, series = {Lecture Notes in Computer Science}, urltopdf = {/people/polikarpova/publications/vstte12.pdf}, springer = {http://www.springerlink.com/content/q6kr1686618t4252/} }