Sánchez, Cesar
12822  Ergebnisse:
Personensuche X
?
2

Realizability modulo theories:

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

Necesidades y niveles de satisfacción de pacientes con cánc..:

Ramis, Sylvia ; Acevedo, Francisco ; Bravo, M. Loreto...
Revista Médica Clínica Las Condes.  35 (2024)  2 - p. 129-139 , 2024
 
?
13

Monitoring the Future of Smart Contracts:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
 
?
15

Efficient Reactive Synthesis Using Mode Decomposition:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,
Brizzio, Matías ; Sánchez, César - p. 256-275 , 2023
 
1-15