Recherche - Archive ouverte HAL

3 résultats

	Pour les 3 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		MetAcsl: Specification and Verification of High-Level Properties Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩ Communication dans un congrès cea-02019790v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩ Communication dans un congrès cea-02301892v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Methodology for Specification and Verification of High-Level Requirements with MetAcsl Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall FormaliSE 2021 - 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France Communication dans un congrès cea-03179670v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats