Rodin's unsoundness bugs
| Autor: | Schmalz, Matthias |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2011 |
| Předmět: | |
| Zdroj: | Technical Report / ETH Zurich, Department of Computer Science, 697 |
| DOI: | 10.3929/ethz-a-006886149 |
| Popis: | Technical Report / ETH Zurich, Department of Computer Science, 697 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|