Juggling Formal Methods and Security
Work detail
Bookitis PickJF
Juggling Formal Methods and Security
Hugo JonkerSasa RadomirovičBarbara Fila1 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
3 credited authorsSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
Hugo Jonker
- Open Author
Sasa Radomirovič
- Open Author
Barbara Fila
Editions
Publication-specific versions linked to this work only.