Stimulus of Scientific Employment – Individual Support 2017
Junior researcher
Alexandre Leite de Castro Madeira
Inesc Tec - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência
Verification frameworks on-demand: new challenges and applications
Computer and information sciences
SDG Goal 9: Industry, Innovation and Infraestructures
SDG Goal 16: Peace, Justice and Strong Institutions
Formal MethodsDynamic LogicsDesign by ContractBlockchain Smart ContractsQuantum Algorithmics
Silk UI Framework Simulation Device
Resize the window to preview the page in target devices.
Open the settings to change the simulation device options.
Clique para listar as tarefas