|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A UTP approach for rTiMo |
Xie, Wanling |
2018 |
30 | 6 |
p. 713-738 |
artikel |
|
| 2 | Code obfuscation against abstraction refinement attacks |
Bruni, Roberto |
2018 |
30 | 6 |
p. 685-711 |
artikel |
|
| 3 | Daniel Kroening and Ofer Strichman: Decision procedures |
Monahan, Rosemary |
2018 |
30 | 6 |
p. 759 |
artikel |
|
| 4 | Egon Börger and Alexander Raschke: Modeling companion for software practitioners |
Bowen, Jonathan P. |
2018 |
30 | 6 |
p. 761-762 |
artikel |
|
| 5 | Formal analysis of the kinematic Jacobian in screw theory |
Shi, Zhiping |
2018 |
30 | 6 |
p. 739-757 |
artikel |
|
| 6 | How testing helps to diagnose proof failures |
Petiot, Guillaume |
2018 |
30 | 6 |
p. 629-657 |
artikel |
|
| 7 | Special section of Tests and Proofs 2016 |
Aichernig, Bernhard K. |
2018 |
30 | 6 |
p. 627-628 |
artikel |
|
| 8 | Tests and proofs for custom data generators |
Dubois, Catherine |
2018 |
30 | 6 |
p. 659-684 |
artikel |
8 gevonden resultaten