A generic intermediate representation for verification condition generation
ISSN: 1611-3349, 0302-9743
ISBN: 9783319274355
Any de publicació: 2015
Volum: 9527
Pàgines: 227-243
Tipus: Aportació congrés
ISSN: 1611-3349, 0302-9743
ISBN: 9783319274355
Any de publicació: 2015
Volum: 9527
Pàgines: 227-243
Tipus: Aportació congrés