|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A new methodology for developing deduction methods |
Schmidt, Renate A. |
2009 |
55 | 1-2 |
p. 155-187 |
artikel |
|
| 2 | Automated verification of refinement laws |
Höfner, Peter |
2009 |
55 | 1-2 |
p. 35-62 |
artikel |
|
| 3 | Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis |
Bruttomesso, Roberto |
2009 |
55 | 1-2 |
p. 63-99 |
artikel |
|
| 4 | Inductive proof search modulo |
Nahon, Fabrice |
2009 |
55 | 1-2 |
p. 123-154 |
artikel |
|
| 5 | Labelled splitting |
Fietzke, Arnaud |
2009 |
55 | 1-2 |
p. 3-34 |
artikel |
|
| 6 | Preface |
Ranise, Silvio |
2009 |
55 | 1-2 |
p. 1-2 |
artikel |
|
| 7 | Solving quantified verification conditions using satisfiability modulo theories |
Ge, Yeting |
2009 |
55 | 1-2 |
p. 101-122 |
artikel |
7 gevonden resultaten