Accurate Theorem Proving for Program Verification
Egile Nagusiak: | , , |
---|---|
Formatua: | Conference item |
Argitaratua: |
Springer
2006
|
Egile Nagusiak: | , , |
---|---|
Formatua: | Conference item |
Argitaratua: |
Springer
2006
|