|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract semantic diffing of evolving concurrent programs |
Bouajjani, Ahmed |
2018 |
54 | 1 |
p. 4-26 |
artikel |
|
| 2 | A new abstraction framework for affine transformers |
Sharma, Tushar |
2018 |
54 | 1 |
p. 110-143 |
artikel |
|
| 3 | Foreword to the special issue on the 2017 Static Analysis Symposium |
Ranzato, Francesco |
2019 |
54 | 1 |
p. 1-3 |
artikel |
|
| 4 | Quantitative static analysis of communication protocols using abstract Markov chains |
Ouadjaout, Abdelraouf |
2019 |
54 | 1 |
p. 64-109 |
artikel |
|
| 5 | Template polyhedra and bilinear optimization |
Gronski, Jessica |
2018 |
54 | 1 |
p. 27-63 |
artikel |
5 gevonden resultaten