Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Editorial: Special Section on Software Engineering and Formal Methods

Journal Article
Author(s):Bernhard K. Aichernig and Bernhard Beckert
Journal:Software and System Modeling
Publisher:Springer
Number:3
Volume:7
Year:2008
Pages: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}
}