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
	hal-00457183v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Applying the B formal method to the Bossa domain-specific language The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38
	hal-00457181v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa AFADL'2006, 2006, Paris, France. pp.95-109
	hal-00457182v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Formal Methods Meet Domain Specific Languages The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206
		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