|
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 | Combining decision procedures by (model-)equality propagation |
de Oliveira, Diego Caminha B. |
2012 |
77 | 4 |
p. 518-532 15 p. |
artikel |
|
| 2 | Function extraction |
Myreen, Magnus O. |
2012 |
77 | 4 |
p. 505-517 13 p. |
artikel |
|
| 3 | JCML: A specification language for the runtime verification of Java Card programs |
da Costa, Umberto Souza |
2012 |
77 | 4 |
p. 533-550 18 p. |
artikel |
|
| 4 | Mechanical reasoning about families of UTP theories |
Zeyda, Frank |
2012 |
77 | 4 |
p. 444-479 36 p. |
artikel |
|
| 5 | Mechanised wire-wise verification of Handel-C synthesis |
Perna, Juan |
2012 |
77 | 4 |
p. 424-443 20 p. |
artikel |
|
| 6 | Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008) |
Machado, Patrícia D.L. |
2012 |
77 | 4 |
p. 423- 1 p. |
artikel |
|
| 7 | Verification of graph grammars using a logical approach |
da Costa, Simone André |
2012 |
77 | 4 |
p. 480-504 25 p. |
artikel |
7 gevonden resultaten