| [Muller-Olm:2007:AMA:1275497.1275504] | Markus Müller-Olm, Helmut Seidl, Analysis of modular arithmetic, ACM Trans. Program. Lang. Syst., Vol. 29, (5), August 2007. |
Download
| [DOI] |
BibTeX
Authors at the institute
| Partner |
|---|
| Prof. Markus Müller-Olm |
Projects
| Project |
| IFC for Mobile Components |
