|
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 | Guiding Craig interpolation with domain-specific abstractions |
Leroux, Jérôme |
2015 |
53 | 4 |
p. 387-424 |
artikel |
|
| 2 | Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit |
Finkbeiner, Bernd |
2016 |
53 | 4 |
p. 325-326 |
artikel |
|
| 3 | Symbolic automata for representing big code |
Peleg, Hila |
2015 |
53 | 4 |
p. 327-356 |
artikel |
|
| 4 | Synthesizing efficient systems in probabilistic environments |
Essen, Christian von |
2015 |
53 | 4 |
p. 425-457 |
artikel |
|
| 5 | Verification of heap manipulating programs with ordered data by extended forest automata |
Abdulla, Parosh Aziz |
2015 |
53 | 4 |
p. 357-385 |
artikel |
5 gevonden resultaten