Vijay Ganesh · 3 obras en el catálogoObrasAAutomated Technology for Verification and AnalysisAutomated Technology for Verification and AnalysisPProceedings of the 6th International Workshop on ConstraintsProceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and AnalysisCComputer Aided VerificationComputer Aided Verification
AAutomated Technology for Verification and AnalysisAutomated Technology for Verification and Analysis
PProceedings of the 6th International Workshop on ConstraintsProceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis