APA (7th ed.) Citation

Rashid, M., Rasool, I., Zafar, N. A., & Afzaal, H. (2025). Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study. IEEE.

Chicago Style (17th ed.) Citation

Rashid, Muhammad, Imran Rasool, Nazir Ahmad Zafar, and Hamra Afzaal. Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study. IEEE, 2025.

MLA (9th ed.) Citation

Rashid, Muhammad, et al. Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study. IEEE, 2025.