[go: up one dir, main page]

"18th ACM/IEEE International Conference on Formal Methods and Models for ..."

Details and statistics

DOI: 10.1109/MEMOCODE51338.2020

access: closed

type: Editorship

metadata version: 2021-02-01