search result

Cover von Isabelle/Solidity

Isabelle/Solidity

A Tool for the Verification of Solidity Smart Contracts (Tool Paper)
Year: 2025
Media group: OASICS
Cover von Towards Mechanised Consensus in Isabelle

Towards Mechanised Consensus in Isabelle

Year: 2024
Media group: OASICS
Cover von Isabelle/EVM

Isabelle/EVM

A Novel Formalization of the EVM in Isabelle/HOL
Year: 2026
Media group: OASICS
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: OASICS
Cover von OASIcs, Volume 142, FMBC 2026, Complete Volume

OASIcs, Volume 142, FMBC 2026, Complete Volume

Year: 2026
Media group: OASICS
Cover von 7th International Workshop on Formal Methods for Blockchains
FMBC 2026, Turin, Italy, April 11, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 142
Media group: OASICS
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2025
Media group: OASICS
Cover von OASIcs, Volume 129, FMBC 2025, Complete Volume

OASIcs, Volume 129, FMBC 2025, Complete Volume

Year: 2025
Media group: OASICS
Cover von 6th International Workshop on Formal Methods for Blockchains
FMBC 2025, May 4, 2025, Hamilton, Canada
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: OpenAccess Series in Informatics; 129
Media group: OASICS
Cover von Formal Aspects of Component Software
20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15189
Media group: MONOGRAPHIE
OPEN V 11.1.0.0