Libros
Foundations of Software Science and Computation Structures
ISBN: 978-3-030-71995-1
Editorial: Springer Nature
Licencia: Creative Commons (by)
Autor(es): Kiefer, Stefan y Tasson, Christine
Editorial: Springer Nature
Licencia: Creative Commons (by)
Autor(es): Kiefer, Stefan y Tasson, Christine
This volume contains the papers accepted for the 24th International Conference on
Foundations of Software Science and Computation Structures (FoSSaCS). The
conference series is dedicated to foundational research with a clear significance for
software science. It brings together research on theories and methods to support the
analysis, integration, synthesis, transformation, and verification of programs and
software systems.
[Cham: 2021]
Compartir:
Esta es una vista previa de los documentos vistos recientemente por el usuario.
Una vez que el usuario haya visto al menos un documento, este fragmento será visible.
Una vez que el usuario haya visto al menos un documento, este fragmento será visible.