@Proceedings{AichernigBeckert05,
editor = {Bernhard K. Aichernig and Bernhard Beckert},
title = {Third International Conference on Software Engineering and Formal Methods ({SEFM} 2005)},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10529}
}