Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.