Rigorous State-Based Methods Rigorous State-Based Methods
2024년
Testing Software and Systems Testing Software and Systems
2023년
Tests and Proofs Tests and Proofs
2010년