| Original language | English |
|---|---|
| Title of host publication | Formal development of programs and proofs |
| Editors | E.W. Dijkstra |
| Place of Publication | Reading MA |
| Publisher | Addison-Wesley |
| Pages | 159-169 |
| ISBN (Print) | 0-201-17237-2 |
| Publication status | Published - 1990 |
Multiplication and division of polynomials
M. Rem
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review