Normal view
MARC view
Nan Guan, Joost-Pieter Katoen, Jun Sun(Personal Name)
Machine generated authority record
Work cat.: (OSt)1643292: Nan Guan, Joost-Pieter Katoen, Jun Sun, Dependable Software Engineering. Theories, Tools, and Applications