Sandrine Blazy, C. P. Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings. Springer.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Sandrine Blazy, Christine Paulin-Mohring. Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings. Berlín, Alemania: Springer.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Sandrine Blazy, Christine Paulin-Mohring. Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings. Springer.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.