search result

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 On Efficient Range-Summability of IID Random Variables in Two or Higher Dimensions

On Efficient Range-Summability of IID Random Variables in Two or Higher Dimensions

Year: 2023
Media group: LIPIcs
Cover von A Dyadic Simulation Approach to Efficient Range-Summability

A Dyadic Simulation Approach to Efficient Range-Summability

Year: 2022
Media group: LIPIcs
Cover von Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
article in International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2022
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 13243 : article
Media group: ARTICLE
Cover von Securing Aptos Framework with Formal Verification

Securing Aptos Framework with Formal Verification

Author: Chen, Kundu; Lu, Yi -Singapore-; Chen, Robert
Year: 2024
Media group: OASICS
Cover von Spatial Data and Intelligence
4th International Conference, SpatialDI 2023, Nanchang, China, April 13 - 15, 2023, Proceedings
Author: Meng, Xiaofeng; Li, Xiang -Shanghai- Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13887
Media group: MONOGRAPHIE
OPEN V 11.1.0.0