Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Third International Conference on Software Engineering and Formal Methods (SEFM 2005)

Tagungsband
Herausgeber:Bernhard K. Aichernig and Bernhard Beckert
Verleger:IEEE Computer Society
Jahr:2005
URL:https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10529

BibTeX

@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       =    {https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10529}
}