Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Di Salle, Amleto
Gallo, Francesco
and
Perucci, Alexander
2015.
Software Engineering and Formal Methods.
Vol. 9509,
Issue. ,
p.
312.