Rodríguez, Andoni
228  Ergebnisse:
Personensuche X
?
1

Realizability modulo theories:

Rodríguez, Andoni ; Sánchez, César
Journal of Logical and Algebraic Methods in Programming.  140 (2024)  - p. 100971 , 2024
 
?
2

Boolean Abstractions for Realizability Modulo Theories:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Rodríguez, Andoni ; Sánchez, César - p. 305-328 , 2023
 
?
3

Curcumin nanocrystals-in-nanofibres as a promising platform..:

Zhang, Chunyang ; Jahan, Subrin A. ; Zhang, Jingru...
International Journal of Pharmaceutics.  648 (2023)  - p. 123585 , 2023
 
1-15