IEEE International Conference on Formal Engineering Methods container_txp4q6ahmvcbdm2irheicf37oq

This page summarizes and visualizes the article-level (or output-level) preservation status for a single publication venue (IEEE International Conference on Formal Engineering Methods). Fatcat is a preservation-oriented catalog, and metadata is aggregated from many sources.

However, metadata quality and consistency is difficult at scale and there may be preservation coverage not recorded here, or in some rare cases we may have content incorrectly matched and marked as preserved. Please contact us or submit corrections directly if you find any mistakes or inaccuracies.

Overall Preservation Coverage


22 29.73% preserved and publicly accessible (bright)
0 0.0% preserved but not publicly accessible (dark)
52 70.28% no known independent preservation
74 total

Known Holdings Elsewhere

This table is based on KBART reports from large, independent, long-term digital preservation projects. We use the start and stop years of fulltext coverage, then count individuals works as included or not on the basis of year alone (not considering volume or issue metadata). These are mostly "dark" archives, with no direct public access to holdings.

The Keeper's Registry project, currently run by issn.org, is a more authoritative source for aggregated KBART reports, and includes more archives.

No holdings at any other locations recorded.

Preservation Coverage by Year

Download as JSON


Preservation Coverage by Volume Number

Download as JSON


Preservation Coverage by Release Type

Release Type Total Count Coverage
paper-conference 74