Normal view MARC view

Sun, Jing (Personal Name)

Number of records used in: 1

Preferred form: Sun, Jing

Machine generated authority record.

Work cat.: (OSt)291251: Sun, Jing, Formal methods and software engineering (e-book), 2018