Accurate Theorem Proving for Program Verification
Päätekijät: | , , |
---|---|
Aineistotyyppi: | Conference item |
Julkaistu: |
Springer
2006
|
Päätekijät: | , , |
---|---|
Aineistotyyppi: | Conference item |
Julkaistu: |
Springer
2006
|