Using the KeY Prover.
| Autor: | Ahrendt, Wolfgang, Grebing, Sarah |
|---|---|
| Zdroj: | Deductive Software Verification - The KeY Book; 2016, p495-539, 45p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Ahrendt, Wolfgang, Grebing, Sarah |
|---|---|
| Zdroj: | Deductive Software Verification - The KeY Book; 2016, p495-539, 45p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|