Browsen nach Autor

Autor (A-Z) "Darvas, Ádám Péter"

2 Ergebnisse von "Darvas, Ádám Péter"

Diese Suchanfrage als RSS-Feed abonnieren

1. Checking well-formedness of pure-method specifications

Rudich, Arsenii, Darvas, Ádám Péter und Müller, Peter


Reports

2. Reasoning about data abstraction in contract languages

Darvas, Ádám Péter (2009)


Dissertationen und Habilitationen