XPath Parser - Laboratoire Méthodes Formelles

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2019

XPath Parser

(1) , (1) , (1)

1

David Baelde

Fonction : Auteur
PersonId : 968472

Laboratoire Spécification et Vérification [Cachan]

Anthony Lick

Fonction : Auteur

Laboratoire Spécification et Vérification [Cachan]

Sylvain Schmitz

Fonction : Auteur
PersonId : 617
IdHAL : sylvain-schmitz
ORCID : 0000-0002-4101-4308
IdRef : 122252020

Laboratoire Spécification et Vérification [Cachan]

Domaines

Logique en informatique [cs.LO] Base de données [cs.DB]

David Baelde : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02079276

Soumis le : lundi 22 avril 2019-17:46:39

Dernière modification le : vendredi 5 avril 2024-15:34:21

Dates et versions

hal-02079276 , version 1 (22-04-2019)

Identifiants

HAL Id : hal-02079276 , version 1
SWHID : swh:1:dir:081194c82832b17c4d1229313e85753dfb3ec4cd;origin=https://hal.archives-ouvertes.fr/hal-02079276;visit=swh:1:snp:c65e2c93c0e93ba5789ad3560b50492c942776ff;anchor=swh:1:rev:bac735336055e1e5fe24e87d33b42a802112e7df;path=/

version :
softwareLicence : GNU General Public License v3.0 or later
codeRepository :

Citer

David Baelde, Anthony Lick, Sylvain Schmitz. XPath Parser. 2019, ⟨swh:1:dir:081194c82832b17c4d1229313e85753dfb3ec4cd;origin=https://hal.archives-ouvertes.fr/hal-02079276;visit=swh:1:snp:c65e2c93c0e93ba5789ad3560b50492c942776ff;anchor=swh:1:rev:bac735336055e1e5fe24e87d33b42a802112e7df;path=/⟩. ⟨hal-02079276⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

78 Consultations

148 Téléchargements

Partager