APA (7th ed.) Citation

Choi, Y. Automatic abstraction for model checking software systems with interrelated numeric constraints. Software engineering notes..

Chicago Style (17th ed.) Citation

Choi, Yunja. "Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints." Software Engineering Notes. .

MLA (9th ed.) Citation

Choi, Yunja. "Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints." Software Engineering Notes., .