Bubel, Richard ; Hähnle, Reiner ; Geilmann, Ulrich
Hrsg.: Barthe, Gilles ; Schneider, Gerardo ; Pardo, Alberto (2011)
A Formalisation of Java Strings for Program Specification and Verification.
Konferenzveröffentlichung, Bibliographie

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave
Hrsg.: Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo (2011)
Modular Modelling of Software Product Lines with Feature Nets.
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings.
doi: 10.1007/978-3-642-24690-6_22
Konferenzveröffentlichung, Bibliographie

Pardo, Alberto (2001)
A calculational approach to recursive programs with effects.
Technische Universität Darmstadt
Dissertation, Bibliographie