TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

Bubel, Richard and Hähnle, Reiner and Geilmann, Ulrich
Barthe, Gilles and Schneider, Gerardo and Pardo, Alberto (eds.) (2011):
A Formalisation of Java Strings for Program Specification and Verification.
In: Proc. 9th International Conference on Software Engineering and Formal Methods ({SEFM}), Montevideo, Uruguay, IEEE Computer Society, [Conference or Workshop Item]

Muschevici, Radu and Proenca, Jose and Clarke, Dave
Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo (eds.) (2011):
Modular Modelling of Software Product Lines with Feature Nets.
Springer, In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, In: Lecture Notes in Computer Science, 7041, DOI: 10.1007/978-3-642-24690-6₂₂,
[Online-Edition: https://doi.org/10.1007/978-3-642-24690-6_22],
[Conference or Workshop Item]

Pardo, Alberto (2001):
A calculational approach to recursive programs with effects.
Darmstadt, Techn. Univ., TU Darmstadt, [Ph.D. Thesis]

This list was generated on Tue Oct 22 01:04:22 2019 CEST.