Cornejo, César
570  Ergebnisse:
Personensuche X
?
1

An Analysis of the Impact of Field-Value Instance Navigatio..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
 
?
2

A Study of the Electrum and DynAlloy Dynamic Behavior Notat..:

Cornejo, César ; Regis, Germán E. ; Aguirre, Nazareno.
IEEE Transactions on Software Engineering.  49 (2023)  11 - p. 4946-4963 , 2023
 
?
3

SAT-based arithmetic support for alloy:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,
Cornejo, César - p. 1161-1163 , 2020
 
?
5

An analysis of the suitability of test-based patch acceptan..:

, In: Proceedings of the 10th International Workshop on Search-Based Software Testing,
 
?
6

DynAlloy analyzer: a tool for the specification and analysi..:

, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering,
 
?
7

Portable Raman and XRF analyses of pigments in a 15th-centu..:

Walters, Valerie A. ; de Paula, Julio C. ; Bard, Ronda S....
Journal of Archaeological Science: Reports.  43 (2022)  - p. 103442 , 2022
 
?
10

La enseñanza de la nosografía médica coordinada con la de c..:

Delgado Cornejo, César
Anales de la Facultad de Medicina.  39 (2014)  3 - p. 817 , 2014
 
?
 
1-15