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

Lau, K.-K. and Kreitz, and Ornaghi, and Kreitz, and Ornaghi, (1996):
Formal reasoning about modules, reuse, and their correctness.
In: International Conference on Formal and Applied Practical Reasoning. Hrsg.: D. Gabbay (u.a.) S. 384-398, 1085, Berlin (u.a.): Springer, 1996,
Berlin (u.a.), Springer, [Conference or Workshop Item]

This list was generated on Sat Dec 7 01:18:35 2019 CET.