@Article{AichernigBeckert2008,
author = {Bernhard K. Aichernig and Bernhard Beckert},
title = {Editorial:
{S}pecial Section on Software Engineering and Formal Methods},
journal = {Software and System Modeling},
volume = {7},
number = {3},
pages = {255--256},
doi = {10.1007/s10270-008-0091-2},
publisher = {Springer},
year = {2008}
}