| # |  | Year | | Title | Type | |
|---|
| 1 |
![Hide details for Delzanno, Galmiche, Martelli [Galmiche, Martelli]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=1) | Delzanno, Galmiche, Martelli [Galmiche, Martelli] |
| |
| | 1999 | | A specification logic for concurrent object-oriented programming
In: Mathematical Structures in Computer Science [9], 253-286 | Journal Article | |
| 2 |
![Show details for Delzanno, Podelski [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Delzanno, Podelski [-] |
| |
| 1 |
| Delzanno, Raskin [Raskin, Graf, Schwartzbach] |
| |
| 1 |
| Dimitrova [-] |
| |
| 3 |
| |
| 1 |
| Dimopoulos, Magirou [Magirou] |
| |
| 1 |
| Dimopoulos, Magirou, Papadimitriou [-] |
| |
| 1 |
| Domshlak, Hoffmann [Domshlak, Long, Smith, Borrajo, McCluskey] |
| |
| 1 |
| Dräge, Finkbeiner, Podelski [Dräge, Finkbeiner, Valmari] |
| |
| 1 |
| Dubois, Jaume, Pons, Prevosto [Dubois, Jaume, Pons, Juilland] |
| |
| 3 |
| |
| 1 |
| Eisenbrand, Bockmayr [Bockmayr] |
| |
| 1 |
| Eisenbrand, Rinaldi, Ventura [, Ventura] |
| |
| 2 |
| Eisenbrand, Rote [Rote] |
| |
| 1 |
| Eisenbrand, Schulz [Schulz, Cornuéjols, Burkard, Woeginger] |
| |
| 1 |
| Eisinger, Nonnengart, Präcklein [Eisinger, Bläsius, Bürckert, Präcklein] |
| |
| 1 |
| |
| 1 |
| Eisinger, Ohlbach, Präcklein [-] |
| |
| 1 |
| |
| 1 |
| Esparza, Podelski [Esparza] |
| |
| 3 |
| |
| 1 |
| Fehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, Weydert [Baader, Lenzerini, Nutt, Patel-Schneider] |
| |
| 1 |
| Fermüller, Leitsch, Hustadt, Tammet [Robinson, Voronkov, Fermüller, Leitsch, Tammet] |
| |
| 1 |
| Firozabadhi, van der Torre [Firozabadhi] |
| |
| 1 |
| |
| 2 |
| Frank, Basin [Frank] |
| |
| 1 |
| |
| 1 |
| Freiheit, Luuk, Münch, Sijanski, Zangl [Luuk, Münch, Sijanski, Zangl] |
| |
| 1 |
| Freiheit, Münch, Schöttle, Sijanski, Zangl [Münch, Schöttle, Sijanski, Zangl] |
| |
