Search alternatives:
"translators" » "transistors", "translates", "translations", "translateds"
"translator" » "translation", "translated"
"translations" » "translation"
Cover Image
Read Now

1
Published 2024
Springer Nature Switzerland
Table of Contents: “... for Translating Abstract State Machines into Java Code -- 3 Short Research Papers -- An Event-B Formal Model...”