January 27, 2020Ā· HAL (Le Centre pour la Communication Scientifique Directe)
conference-paper
Open access
Smart Contract modeling and verification techniques: A survey
Abstract
International audience
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.