Publisher
Springer Berlin Heidelberg
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Uncertainty and Probabilistic UTP;Lecture Notes in Computer Science;2024
2. Verificación de Programas Paralelos;Revista Abierta de Informática Aplicada;2023-09-22
3. Deciding Program Properties via Complete Abstractions on Bounded Domains;Static Analysis;2022
4. Some recent advances in automated analysis;International Journal on Software Tools for Technology Transfer;2015-10-13
5. Event-B Decomposition for Parallel Programs;Abstract State Machines, Alloy, B and Z;2010