Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2009). Sheaves and geometric logic and applications to modular verification of complex systems. Electronic Notes in Theoretical Computer Science, 230, 161-187. doi:10.1016/j.entcs.2009.02.024.