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