Edited Books and Journals


    Edited Books

    • Bernhard K. Aichernig, Frank S. de Boer, and Marcello M. Bonsangue, editors. Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, volume 6957 of Lecture Notes in Computer Science. Springer-Verlag, 2012.



    • Bernhard K. Aichernig and Bernhard Beckert, editors. Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, September 7–9, Koblenz, Germany. IEEE Computer Society, 2005. ISBN 0-7695-2435-4. (doi:10.1109/SEFM.2005.35)







      Edited Special Issues of Journals