RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in research area 'Formal Methods'		Publications in research area 'Formal Methods'		Technical Reports in research area 'Formal Methods'

Talks of research area 'Formal Methods'

2010

• Maribel Fernandez, Temur Kutsia, Wolfgang Schreiner (ed.). PPDP'10. Proceedings of the 2010 Symposium on Principles and Practice of Declarative Programming, July 2010. ACM, New York, ISBN 978-1-4503-0132-9. July 26-28, 2010, Hagenberg, Austria. [bib]

2009

• B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]

---

webmaster