Login / Signup

Verifying Correctness.

Leah Hoffmann
Published in: Commun. ACM (2024)
Keyphrases
  • model checking
  • data sets
  • clustering algorithm
  • cooperative
  • mobile devices
  • special case