Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Warning: These citations may not always be 100% accurate.