Browse by Author

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

2 Results for "Darvas, Ádám Péter"

Subscribe to RSS feed for this result set

1. Checking well-formedness of pure-method specifications

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


Reports

2. Reasoning about data abstraction in contract languages

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


Doctoral and Habilitation Theses