Applicable Formal Methods

New upload

Applicable Formal Methods

Contributions to the Formal Methods community, e.g. to the Applicable Formal Methods workshop series.

Curated by:
Curation policy:

Contributions are selected based on their relation to the "topics of interest" described on the \(\alpha\)FM workshop website.

January 7, 2019
Harvesting API:
OAI-PMH Interface

Want your upload to appear in this community?

  • Click the button above to upload a record directly to this community.
    To add one of your existing records to the community, edit the record, add this community under the "Communities" section, save, and finally publish.
  • The community curator will then be notified to either accept or reject your upload (see community curation policy below).
  • If your upload is rejected by the curator, it will still be available on Zenodo, just not in this community.