|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Domains for Type Juggling |
Arceri, Vincenzo |
2017 |
331 | C |
p. 41-55 15 p. |
artikel |
|
| 2 | Abstract Similarity Analysis |
Dalla Preda, Mila |
2017 |
331 | C |
p. 87-99 13 p. |
artikel |
|
| 3 | Preface |
Mastroeni, Isabella |
2017 |
331 | C |
p. 1-2 2 p. |
artikel |
|
| 4 | Software Watermarking: A Semantics-based Approach |
Dalla Preda, Mila |
2017 |
331 | C |
p. 71-85 15 p. |
artikel |
|
| 5 | Sparsity Preserving Algorithms for Octagons |
Jourdan, Jacques-Henri |
2017 |
331 | C |
p. 57-70 14 p. |
artikel |
|
| 6 | Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities |
Miné, Antoine |
2017 |
331 | C |
p. 3-39 37 p. |
artikel |
6 gevonden resultaten