DSpace at RU >

Browsing by Author Müller, P.

Full Text	Issue Date	Title	Author(s)
	2007	MOBIUS : Mobility, Ubiquity, Security	Barthe, G.; Beringer, L.; Crégut, P.; Grégoire, B.; Hoffman, M., et al
	2004	Special Issue: Formal Techniques for Java-like Programs	Müller, P.; Naumann, D.A.; Poll, E.
	2004	Formal Techniques for Java-Like Programs (FTfJP'04)	Coglio, A.; Huisman, M.; Kiniry, J.R.; Müller, P.; Poll, E.
	2004	Formal Techniques for Java-Like Programs	Eisenbach, S.; Leavens, G.T.; Müller, P.; Poetzsch-Heffter, A.; Poll, E.