Editorial: Special Section on Software Engineering and Formal Methods

Zeitschriftenartikel

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

BibTeX

@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}
}