Irene Papakonstantinou

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Top Topics

Feature Extraction

Top Venues

Publications

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez
Moving Fast with Software Verification. NFM (2015)