sacres-I2B

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

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

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