Opening book details…
About this scholarly article
A Trustworthy Mechanized Formalization of R by Martin Bodin, Tomás Diaz, and Éric Tanter is a scholarly article available to read on EtoBox.
- Author
- Martin Bodin, Tomás Diaz, and Éric Tanter
More by Martin Bodin, Tomás Diaz, and Éric Tanter
Browse all works by Martin Bodin, Tomás Diaz, and Éric Tanter