Contracts, Games, and Refinement
| Autor: | Back, Ralph-Johan, von Wright, Joakim |
|---|---|
| Zdroj: | In Information and Computation 10 January 2000 156(1-2):25-45 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Back, Ralph-Johan, von Wright, Joakim |
|---|---|
| Zdroj: | In Information and Computation 10 January 2000 156(1-2):25-45 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect