Liquid types for array invariant synthesis
ISSN: 1611-3349, 0302-9743
ISBN: 9783319681665
Any de publicació: 2017
Volum: 10482 LNCS
Pàgines: 289-306
Tipus: Aportació congrés
ISSN: 1611-3349, 0302-9743
ISBN: 9783319681665
Any de publicació: 2017
Volum: 10482 LNCS
Pàgines: 289-306
Tipus: Aportació congrés