|
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 | Axiomatising an information flow logic based on partial equivalence relations |
Filinski, Andrzej |
|
26 | 4 |
p. 445-461 |
artikel |
|
| 2 | Causal analysis of positive Reaction Systems |
Brodo, Linda |
|
26 | 4 |
p. 509-526 |
artikel |
|
| 3 | Challenges of software verification: the past, the present, the future |
Ferrara, Pietro |
|
26 | 4 |
p. 421-430 |
artikel |
|
| 4 | Formal analysis of an AUTOSAR-based basic software module |
Bodei, Chiara |
|
26 | 4 |
p. 495-508 |
artikel |
|
| 5 | Non-numerical weakly relational domains |
Seidl, Helmut |
|
26 | 4 |
p. 479-494 |
artikel |
|
| 6 | Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers |
Monniaux, David |
|
26 | 4 |
p. 463-477 |
artikel |
|
| 7 | Software verification challenges in the blockchain ecosystem |
Olivieri, Luca |
|
26 | 4 |
p. 431-444 |
artikel |
7 gevonden resultaten