Login / Signup
Formal methods: practical applications and foundations: Editorial.
Maurice H Ter Beek
Annabelle McIver
Published in:
Formal methods in system design (2022)
Keyphrases
</>