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

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

Conference Proceedings
Editor(s):Bernhard K. Aichernig and Bernhard Beckert
Publisher:IEEE Computer Society
Year:2005
URL:http://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       =    {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10529}
}