Proceedings of FMBC26 published

The open access proceedings of FMBC26 are published and available online. You can find them here: https://drops.dagstuhl.de/entities/volume/OASIcs-volume-142 Thanks to all the authors for their contributions!

---

The FMBC workshop is a forum to identify theoretical and practical approaches of formal methods for blockchain technology.