Design, study and implementation of languages for proofs and programs (2009)
by
Project-Team π.r²
BibTeX
@MISC{π.r²09design,study,
author = {Project-Team π.r²},
title = {Design, study and implementation of languages for proofs and programs},
year = {2009}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
