Browse by Author

Authors (A-Z) Rudich, Arsenii

2 Results for Rudich, Arsenii

Subscribe to RSS feed for this result set

1. Automatic verification of heap structures with stereotypes

Rudich, Arsenii (2011)


Doctoral and Habilitation Theses

2. Checking well-formedness of pure-method specifications

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


Reports