APA citiranje

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 citiranje

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