Search - Université Toulouse III

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	tel-01589656v1 Theses Régis Spadotti. A mechanized theory of regular trees in dependent type theory Mathematical Software [cs.MS]. Université Paul Sabatier - Toulouse III, 2016. English. ⟨NNT : 2016TOU30178⟩
	hal-01278902v1 Journal articles Jean-Paul Bodeveix, M Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang. Towards a verified transformation from AADL to the formal component-based language FIACRE Science of Computer Programming, Elsevier, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Search by documents