Empirical Formal Methods

New upload

Empirical Formal Methods

Contributions to the Empirical Formal Methods community, e.g. to the empirical formal methods workshop series.


Curated by:
gleirscher
Curation policy:

Contributions are selected based on their relation to the "topics of interest" described on the EFM workshop website.

Created:
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.