@article{ author={Julian Tschannen and Carlo A. Furia and Martin Nordio}, title={AutoProof Meets Some Verification Challenges}, journal={International Journal on Software Tools for Technology Transfer}, publisher={Springer}, year={2014}, pages={1-11}, urltopdf = {http://se.inf.ethz.ch/people/tschannen/publications/tfn-sttt14.pdf} }