Normal view MARC view

International Conference on Formal Engineering Methods (19th : 2017 : Xi'an Shi, China) (Meeting Name)

Number of records used in: 1
Preferred form: International Conference on Formal Engineering Methods (19th : 2017 : Xi'an Shi, China)

Machine generated authority record.

Work cat.: (AT-ISTA): International Conference on Formal Engineering Methods (19th : 2017 : Xi'an Shi, China), Formal methods and software engineering :

Powered by Koha