Sign in

A Transformational Approach to Resource Analysis with Typed-norms Inference.

Elvira AlbertSamir GenaimRaúl GutiérrezEnrique Martin-Martin
Published in: Theory Pract. Log. Program. (2020)
Keyphrases