@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}
}
Editorial: Special Section on Software Engineering and Formal Methods
| Autor(en): | Bernhard K. Aichernig und Bernhard Beckert |
|---|---|
| Zeitschrift: | Software and System Modeling |
| Verleger: | Springer |
| Nummer: | 3 |
| Band: | 7 |
| Jahr: | 2008 |
| Seiten: | 255-256 |
| DOI: | 10.1007/s10270-008-0091-2 |