| Verfasser | Häufigkeit |
|---|---|
| Chechik, Marsha | 2 |
| International Symposium on Formal Methods Lübeck | 2 |
| Katoen, Joost-Pieter | 1 |
| Katoen, Joost-Pieter 1964- | 1 |
| Leucker, Martin | 1 |
| Leucker, Martin 1971- | 1 |
| Verfasser | Häufigkeit |
|---|---|
| Chechik, Marsha | 2 |
| International Symposium on Formal Methods Lübeck | 2 |
| Katoen, Joost-Pieter | 1 |
| Katoen, Joost-Pieter 1964- | 1 |
| Leucker, Martin | 1 |
| Leucker, Martin 1971- | 1 |