Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Lars Hupel
larsrh
71 Decks
0 Following
0 Followers
0 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
Verification of Smart Contracts (INNOQ edition)
larsrh
0
420
Theorems for free!
larsrh
1
240
Blockchain Use Cases
larsrh
0
130
Programmation en Clojique
larsrh
2
160
JS, Rust, Python and the Holy Graal
larsrh
3
880
Verification of Smart Contracts
larsrh
0
66
iSAQB goes Blockchain?
larsrh
0
60
How Do I Even Smart Contracts?
larsrh
0
78
Smart Contract Development & Testing mit Ethereum
larsrh
0
55
Das eierlegende Truffleschwein
larsrh
0
610
Lieber ein Typparameter zu viel als einer zu wenig (Herbstcampus)
larsrh
0
650
Lieber ein Typparameter zu viel als einer zu wenig (JUG Ostfalen)
larsrh
0
130
Verified Code Generation from Isabelle/HOL
larsrh
1
120
How to test proper{t,l}y (Scala Matsuri edition)
larsrh
0
1.3k
Lieber ein Typparameter zu viel als einer zu wenig
larsrh
0
160
Ethereum: Smart Contracts & Varianten
larsrh
0
150
Programmation en Logique (LambdaDays edition)
larsrh
0
840
Numeric Programming with Spire (KSUG edition)
larsrh
0
880
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade