P. Camurati

1 works

Polytechnic University of Turin

1. To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties

   P. Camurati, C. Loiacono, Paolo Pasini +2

   ArticleFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)20140 citations

   ABIABI:AkademIndex/openalex/2014.article.000209