Viktor Vafeiadis
| Use attributes for filter ! | |
| Affiliations | Max Planck Institute For Software Systems |
|---|---|
| Interests | Software Verification |
| Program Logic | |
| Concurrency | |
| Weak Memory Models | |
| Interactive Theorem Proving | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3322297 |
About Viktor Vafeiadis
Viktor Vafeiadis Photos
