Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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