Constantin Enea · 3 obras en el catálogoObrasVerification, Model Checking, and Abstract InterpretationCComputer Aided VerificationComputer Aided VerificationNNetworked SystemsNetworked Systems