CORE
đșđŠÂ
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
4 research outputs found
Property-based testing of ERC-20 smart contracts
Author
CĂ©lio Gil Gouveia Rodrigues
Publication venue
Publication date
05/11/2020
Field of study
Get PDF
RepositĂłrio Aberto da Universidade do Porto
Integrated Formal Methods:12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Author
Publication venue
Springer
Publication date
01/06/2016
Field of study
Get PDF
University of Twente Research Information
Property-Based Testing for Spark Streaming
Author
A. RIESCO
Beck
+18Â more
Blackburn
Carbone
DâAngelo
Fitting
Fowler
Gorawski
Halbwachs
J. RODRĂGUEZ-HORTALĂ
Karau
Karau
Kuhn
Marz
Nilsson
Pnueli
Riesco
Smullyan
White
Zaharia
Publication venue
'Cambridge University Press (CUP)'
Publication date
Field of study
No full text
Crossref