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: 2.

Bubel, Richard ; Hähnle, Reiner ; Pelevina, Maria (2014):
Fully Abstract Operation Contracts.
In: LNCS, In: Proceedings 6th International Symposium On Leveraging Applications of Formal Methods,
Springer, [Conference or Workshop Item]

Volk, Florian ; Pelevina, Maria ; Habib, Sheikh Mahbub ; Hauke, Sascha ; Mühlhäuser, Max (2014):
Modeling Degrees of Fairness for Collaborations.
pp. 857-864, IEEE, 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, [Conference or Workshop Item]

This list was generated on Tue Aug 9 02:59:53 2022 CEST.