A trace-based model for multiparty contracts

Tom Hvitved, Felix Klaedtke, Eugen Zălinescu

12 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'A trace-based model for multiparty contracts'. Sammen danner de et unikt fingeraftryk.

Matematik

Teknik og materialevidenskab