Curation
Crin
Racine
Curation
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Observational Proofs with Critical Contexts

Identifieur interne : 002208 ( Crin/Curation ); précédent : 002207; suivant : 002209

Observational Proofs with Critical Contexts

Auteurs : Narjes Berregeb ; Adel Bouhoula ; Michaël Rusinowitch

Source :

RBID : CRIN:berregeb98a

English descriptors

Links toward previous steps (curation, corpus...)

Links to Exploration step

CRIN:berregeb98a

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en" wicri:score="247">Observational Proofs with Critical Contexts</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:berregeb98a</idno>
<date when="1998" year="1998">1998</date>
<idno type="wicri:Area/Crin/Corpus">002208</idno>
<idno type="wicri:Area/Crin/Curation">002208</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002208</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="en">Observational Proofs with Critical Contexts</title>
<author>
<name sortKey="Berregeb, Narjes" sort="Berregeb, Narjes" uniqKey="Berregeb N" first="Narjes" last="Berregeb">Narjes Berregeb</name>
</author>
<author>
<name sortKey="Bouhoula, Adel" sort="Bouhoula, Adel" uniqKey="Bouhoula A" first="Adel" last="Bouhoula">Adel Bouhoula</name>
</author>
<author>
<name sortKey="Rusinowitch, Michael" sort="Rusinowitch, Michael" uniqKey="Rusinowitch M" first="Michaël" last="Rusinowitch">Michaël Rusinowitch</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>automated deduction</term>
<term>observational proofs</term>
<term>verification</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
</TEI>
<BibTex type="inproceedings">
<ref>berregeb98a</ref>
<crinnumber>98-R-156</crinnumber>
<category>3</category>
<equipe>PROTHEO</equipe>
<author>
<e>Berregeb, Narjes</e>
<e>Bouhoula, Adel</e>
<e>Rusinowitch, Michaël</e>
</author>
<title>Observational Proofs with Critical Contexts</title>
<booktitle>{Fundamental Approaches to Software Engineering - ETAPS'98, Lisboa, Portugal}</booktitle>
<year>1998</year>
<volume>1382</volume>
<series>Lecture Notes in Computer Science</series>
<pages>38-53</pages>
<month>apr</month>
<publisher>Springer-Verlag</publisher>
<keywords>
<e>observational proofs</e>
<e>verification</e>
<e>automated deduction</e>
</keywords>
</BibTex>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002208 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 002208 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    RBID
   |clé=     CRIN:berregeb98a
   |texte=   Observational Proofs with Critical Contexts
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022