Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paolo Arcaini
Decomposition-Based Approach for Model-Based Test Generation
IEEE Transactions on Software Engineering
Software
SMT for State-Based Formal Methods: The ASM Case Study
