Wen-ling Huang

Identifiers

Open LibraryOL13102094A

Books by Wen-ling Huang

Total count: 1

Applicable Formal Methods for Safe Industrial ProductsEssays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Springer2023-01-01