| 2010 | ||
|---|---|---|
| c2 | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev: Modular specification and verification of interprocess communication. FMCAD 2010: 167-174 | |
| 2009 | ||
| c1 | Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55 | |
Data released under the ODC-BY 1.0 license — See also our legal information page