@inproceedings{SiaGrMa10,
	Author = {S. Soleimanifard and D. Gurov and M. Huisman},
	Booktitle = {Workshop on Formal Techniques for Java Programs (FTfJP '10)},
	Title = {Procedure--Modular Verification of Control Flow Safety Properties},
	Year = 2010,
	Note = {Accessible via the web 
	        interface \verb+http://www.nada.kth.se/~siavashs/ProMoVer/+}}