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:
Curation policy:

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

January 7, 2019
Harvesting API:
OAI-PMH Interface

Want your upload to appear in this community?

  • Click the button above to upload straight to this community.
  • The community curator is notified, and will either accept or reject your upload (see community curation policy above).
  • If your upload is rejected by the curator, it will still be available on Zenodo, just not in this community.