Zobrazeno 1 - 10
of 644
pro vyhledávání: '"MILANESE, Marco"'
Autor:
Milanese, Marco, Ranzato, Francesco
Local Completeness Logic (LCL) has been put forward as a program logic for proving both the correctness and incorrectness of program specifications. LCL is an abstract logic, parameterized by an abstract domain that allows combining over- and under-a
Externí odkaz:
http://arxiv.org/abs/2205.08128
Publikováno v:
In Thermal Science and Engineering Progress September 2024 54
Publikováno v:
In Energy Conversion and Management 1 July 2024 311
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Milanese, Marco, author
Publikováno v:
A Companion to Sardinian History, 500–1500. 11:359-386
Autor:
Milanese, Marco, author
Publikováno v:
A Companion to Sardinian History, 500–1500. 11:269-313
Publikováno v:
In Applied Thermal Engineering 5 July 2023 229
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Alfei, Silvana1 (AUTHOR) alfei@difar.unige.it, Milanese, Marco1 (AUTHOR), Brullo, Chiara2 (AUTHOR) chiara.brullo@unige.it, Valenti, Giulia Elda3 (AUTHOR) giuliaelda.valenti@edu.unige.it, Domenicotti, Cinzia3 (AUTHOR) cinzia.domenicotti@unige.it, Russo, Eleonora2 (AUTHOR) eleonora.russo@unige.it, Marengo, Barbara3 (AUTHOR) alfei@difar.unige.it
Publikováno v:
Pharmaceutics. Oct2023, Vol. 15 Issue 10, p2425. 30p.