|
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 | Action Refinement Applied to Late Decisions |
Fecher, H. |
2006 |
18 | 2 |
p. 211-230 |
artikel |
|
| 2 | A formal relationship between program slicing and partial evaluation |
Binkley, David W. |
2006 |
18 | 2 |
p. 103-119 |
artikel |
|
| 3 | A singleton failures semantics for Communicating Sequential Processes |
Bolton, Christie |
2006 |
18 | 2 |
p. 181-210 |
artikel |
|
| 4 | Finite Integer Computations: An Algebraic Foundation for Their Correctness |
Glesner, Sabine |
2006 |
18 | 2 |
p. 244-262 |
artikel |
|
| 5 | Formal Aspects of Correctness and Optimality of Interval Computations |
Santiago, Regivan H. Nunes |
2006 |
18 | 2 |
p. 231-243 |
artikel |
|
| 6 | Procedure compilation in the refinement calculus |
Lermer, K. |
2006 |
18 | 2 |
p. 152-180 |
artikel |
|
| 7 | Provably-correct hardware compilation tools based on pass separation techniques |
McKeever, Steve |
2005 |
18 | 2 |
p. 120-142 |
artikel |
|
| 8 | The verified software repository: a step towards the verifying compiler |
Bicarregui, J.C. |
2006 |
18 | 2 |
p. 143-151 |
artikel |
8 gevonden resultaten