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