PANG, Jun ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
A learning-based framework for automatic parameterized verification
Date de publication/diffusion :
2019
Nom de la manifestation :
37th International Conference on Computer Design (ICCD)
Date de la manifestation :
2019
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 37th International Conference on Computer Design (ICCD)
