|
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 | Accelerated Invariant Generation for C Programs with Aspic and C2fsm |
Feautrier, Paul |
2010 |
267 | 2 |
p. 3-13 11 p. |
artikel |
|
| 2 | Explicit Versus Symbolic Algorithms for Solving ALFP Constraints |
Filipiuk, Piotr |
2010 |
267 | 2 |
p. 15-28 14 p. |
artikel |
|
| 3 | Preface |
Delmas, David |
2010 |
267 | 2 |
p. 1- 1 p. |
artikel |
|
| 4 | SMT-AI: an Abstract Interpreter as Oracle for k-induction |
Roux, Pierre |
2010 |
267 | 2 |
p. 55-68 14 p. |
artikel |
|
| 5 | Some Experience on the Software Engineering of Abstract Interpretation Tools |
Jeannet, Bertrand |
2010 |
267 | 2 |
p. 29-42 14 p. |
artikel |
|
| 6 | The Interval Analysis of Multilinear Expressions |
Laneve, Cosimo |
2010 |
267 | 2 |
p. 43-53 11 p. |
artikel |
6 gevonden resultaten