|
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 | A family of multi-concept program synthesisers in Alloy⁎ |
Correia, Alexandre |
|
201 | C |
p. |
artikel |
|
| 2 | Editorial Board |
|
201 | C |
p. |
artikel |
||
| 3 | Efficient testing of GUI applications by event sequence reduction |
Yan, Jiwei |
|
201 | C |
p. |
artikel |
|
| 4 | Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 |
Duran, Adolfo |
|
201 | C |
p. |
artikel |
|
| 5 | Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements |
Carvalho, Gustavo |
|
201 | C |
p. |
artikel |
|
| 6 | Which monads Haskell developers use: An exploratory study |
Figueroa, Ismael |
|
201 | C |
p. |
artikel |
6 gevonden resultaten