sacres-I2B

Sacres Consortium. Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems. Esprit project EP 20897: Sacres, Avril 1997.

Référence BibTex

@Misc{sacres-I2B,
   Author = {Consortium, Sacres},
   Title = {Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems},
   BookTitle = {Esprit project EP 20897: Sacres},
   Month = {April},
   Year = {1997}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.