Concepedia

Cleverson Avelino Ferreira

CA

1

Publications

37

Citations

1

H-Index

2017

Active since

Affiliations

Cegep de Thetford(Current)

Cleverson Avelino Ferreira is an author at Cegep de Thetford specializing in parallel programming, formal verification, and system software.

Top concepts

CompilersEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer Engineering

Publications per year

2017–2017

1

Publications

1

Notification-Oriented Programming Language and Compiler

Adriano F. Ronszcka, Cleverson Avelino Ferreira, Paulo Cézar Stadzisz et al. · 2017 · 37 citations

Engineering, Compiler Technology, Computer Architecture +20

Rows per page

1–1 of 1