Alain Finkel · 2 obras en el catálogoObrasReachability ProblemsCComputer Aided VerificationComputer Aided Verification