Login / Signup

Checking laws of the blockchain with property-based testing.

Alexander ChepurnoyMayank Rathee
Published in: IWBOSE@SANER (2018)
Keyphrases
  • test cases
  • artificial intelligence
  • multi agent
  • digital libraries
  • desirable properties