کتاب های Alexandra Silva
Kleene Coalgebra [PhD thesis]
Alexandra Silva, 2010
Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings
Ruy J. G. B. de Queiroz (editor); Alexandra Martins da Silva (editor); Renata Wassermann (editor), 2021
Foundations of probabilistic programming
Alexandra Silva; Joost-Pieter Katoen; Gilles Barthe (eds.), 2021
Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings
Alexandra Silva, K. Rustan M. Leino, 2021
