Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bruttomesso, D.
5  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Chec..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Bruttomesso, Roberto - p. 202-211 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Flexible interpolation with local proof transformations:

, In: Proceedings of the International Conference on Computer-Aided Design,
Bruttomesso, Roberto ; Rollini, Simone ; Sharygina, Natasha. - p. 770-777 , 2010
Link: https://dl.acm.org/doi/1..
 
?
3

A scalable decision procedure for fixed-width bit-vectors:

, In: Proceedings of the 2009 International Conference on Computer-Aided Design,
Bruttomesso, Roberto ; Sharygina, Natasha - p. 13-20 , 2009
Link: https://dl.acm.org/doi/1..
 
?
4

An extension of the Davis-Putnam procedure and its applicat..:

, In: Proceedings of the 7th International Workshop on Satisfiability Modulo Theories,
Bruttomesso, Roberto - p. 14-19 , 2009
Link: https://dl.acm.org/doi/1..
 
?
5

"Das Schema unseres Leibes": Scheler's Forgotten Influence ..:

, In: Contributions to Phenomenology; Max Scheler in Dialogue,
Bruttomesso, Maria Chiara - p. 101-115 , 2022
Link: https://doi.org/10.1007/..
 
1-5