Search filters

List of works by

An iterative approach to precondition inference using constrained Horn clauses

article by Bishoksan Kafle et al published July 2018 in Theory and Practice of Logic Programming

Combatting Energy Issues for Mobile Applications

scientific article published in 2023

ENTRA: Whole-systems energy transparency

scientific article published in November 2016

Paulina is supported by:

About Paulina

Help