Login / Signup
Martino Luca
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Moving Objects
Multiscale
Feature Extraction
Conveyor Belt
Top Venues
NFM
</>
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)