"Veil: A Framework for Automated and Interactive Verification of Transition ..."

George Pîrlea et al. (2025)

Details and statistics

DOI: 10.1007/978-3-031-98682-6_2

access: closed

type: Conference or Workshop Paper

metadata version: 2025-08-09