| Original language | English |
|---|---|
| Publication status | Published - 2002 |
A survey on embedding programming logics in a theorem prover
A. Azurat, Wishnu Prasetya
Research output: Other contribution › Academic
A. Azurat, Wishnu Prasetya
Research output: Other contribution › Academic
| Original language | English |
|---|---|
| Publication status | Published - 2002 |