Login / Signup

Validating B, Z and TLA + Using ProB and Kodkod.

Daniel PlaggeMichael Leuschel
Published in: FM (2012)
Keyphrases
  • temporal logic