Choi, Y. Automatic abstraction for model checking software systems with interrelated numeric constraints. Software engineering notes..
Chicago Style (17th ed.) CitationChoi, Yunja. "Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints." Software Engineering Notes. .
MLA citiranjeChoi, Yunja. "Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints." Software Engineering Notes., .
Opozorilo: Ti citati niso vedno 100% točni.