Choi, Y. Automatic abstraction for model checking software systems with interrelated numeric constraints. Software engineering notes..
Chicago-Zitierstil (17. Ausg.)Choi, Yunja. "Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints." Software Engineering Notes. .
MLA-Zitierstil (9. Ausg.)Choi, Yunja. "Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints." Software Engineering Notes., .
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.