The ASMKeY theorem prover
| Autor: | Nanchen, Stanislas, Schmid, Hubert, Schmitt, Peter H., Stärk, Robert F. |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2004 |
| Předmět: | |
| Zdroj: | Technical Report / ETH Zurich, Department of Computer Science, 436 |
| DOI: | 10.3929/ethz-a-006733218 |
| Popis: | Technical Report / ETH Zurich, Department of Computer Science, 436 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|