According to our database1, Anca Zamfir authored at least 3 papers between 2010 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020
RFC, April, 2010