| Ciencias Informáticas | (97) |
| base de datos | (45) |
| SOFTWARE ENGINEERING | (38) |
| Data mining | (10) |
| Base de Datos | (8) |
| Más... |
| Unversidad Nacional de La Plata | (100) |
| Ingeniería e investigación | (48) |
| Revistas UNAM | (23) |
| RUA Docencia | (20) |
| Bellaterra: Journal of teaching and Learning Language and Literature | (15) |
| Más... |
|
101.
|
Local distortion of the earth’s magnetic field as a proposal for handling the leafcutter ant species Atta spp. (Hymenoptera: Formicidae), Distorsión local de campo magnético terrestre como una propuesta de manejo de una especie de hormiga arriera Atta spp. (Hymenoptera: Formicidae) Paz Penagos Hernán ; Escuela Colombiana de Ingeniería Julio Garavito - Vargas Rodríguez Mauricio Alexander ; Universidad Nacional de Colom-bia - Forero Bermúdez Oscar ; Pontificia Universidad Javeriana - Pabón Caviativa Juan Francisco ; Escuela Colombiana de Ingeniería Julio Garavito - Plaza Martínez Jovan ; Escuela Colombiana de Ingeniería Julio Garavito
|
|
102.
|
A classifier model for detecting pronunciation errors regarding the Nasa Yuwe language’s 32 vowels, Modelo de clasificación para la detección de errores en la pronunciación de las 32 vocales de la lengua Nasa Yuwe Naranjo Cuervo Roberto Carlos ; Universidad del Cauca - Álvarez Vargas Gloria Inés ; Pontificia Univesidad Javieriana
|
|
103.
|
The impact of liquid drops on purple cabbage leaves (Brassica oleracea l. Var. Capitata), Comportamiento al impacto de gotas sobre hojas de repollo morado (Brassica oleracea l. Var. Capitata) Andrade Pizarro Ricardo ; Universidad de Córdoba - Skurtys Olivier ; Universidad Técnica Federico Santa María - Osorio Lira Fernando ; Universidad de Santiago de Chile
|
|
104.
|
Considerations for generating and implementing technological strategies, Consideraciones para la generación e implementación de estrategias tecnológicas Fonseca Rodríguez Sandra Lorena ; Universidad Nacional de Colombia - Castellanos Oscar Fernando ; Universidad Nacional de Colombia - Jiménez Hernandez Claudia Nelcy ; Universidad Nacional de Colombia
|
|
105.
|
The effect of Ti(CN)/TiNb(CN) coating on erosion–corrosion resistance, Efecto del recubrimiento de Ti(CN)/TiNb(CN) sobre la resistencia a la corrosión–erosión Aperador Chaparro William ; Universidad Militar Nueva Granada - Ramírez Martín Carlos ; Universidad de Boyacá - Caicedo Julio Cesar ; Universidad del Valle
|
|
106.
|
Resistencia a la corrosión y microestructura de recubrimientos de NbxSiyNz depositadas con el sistema UBM, The corrosion resistance and microstructure of UBM system-deposited NbxSiyNz thin films Velasco Estrada Leonardo ; Universidad Nacional de Colombia - Olaya Florez Jhon Jairo ; Universidad Nacional de Colombia - Rodríguez Baracaldo Rodolfo ; Universidad Nacional de Colombia
|
|
107.
|
A virtual sensor for monitoring excited thermal turbogenerator rotors, Sensor virtual para el monitoreo térmico de rotores de turbogeneradores a partir del estado de excitación Gómez Sarduy Julio R. ; Universidad de Cienfuegos "Carlos Rafael Rodríguez" - Monteagudo Yanes José Pedro ; Universidad de Cienfuegos "Carlos Rafael Rodríguez"
|
|
108.
|
The mechanical design of a transfemoral prosthesis using computational tools and design methodology, Diseño mecánico para una prótesis transfemoral mediante el uso de herramientas computacionales y metodologías de diseño Sánchez Otero John ; Universidad del Norte - Hernández Roque J. ; Universidad del Norte - Torres S. Jaime E. ; Universidad del Norte
|
|
109.
|
Aplicación de la mecánica de la fractura para determinar esfuerzos residuales en diversas geometrías, Using fracture mechanics for determining residual stress fields in diverse geometries Urriolagiotia Sosa Guillermo ; ESIME Zatenco del Instituto Politécnico Nacional - Urriolagiotia Calderón Guillermo ; ESIME Zatenco del Instituto Politécnico Nacional - Romero Ángeles Beatriz ; ESIME Zatenco del Instituto Politécnico Nacional - Torres Franco David ; ESIME Zatenco del Instituto Politécnico Nacional - Hernández Gómez Luis Héctor ; ESIME Zatenco del Instituto Politécnico Nacional - Molina Ballinas Arafat ; ESIME Zatenco del Instituto Politécnico Nacional - Torres San Miguel Christopher René ; ESIME Zatenco del Instituto Politécnico Nacional - Campos López Juan Pablo ; ESIME Zatenco del Instituto Politécnico Nacional
|
|
110.
|
Neyman-Scott-based water distribution network modelling, Modelación de redes de agua potable basado en el proceso de Neyman-Scott Alcocer Yamanaka Víctor Hugo ; Instituto Mexicano de Tecnología del Agua - Tzatchkov Velitchko G. ; Instituto Mexicano de Tecnología del Agua
|
|
111.
|
A comparative study of two models for the seismic analysis of buildings, Estudio comparativo de dos modelos para análisis sísmico de edificios Luévanos Rojas Arnulfo ; Universidad Juárez del Estado de Durango
|
|
112.
|
Experimental assessment of damping factors in concrete housing walls, Evaluación experimental de los factores de amortiguamiento en muros de concreto para vivienda Carrillo Julián ; Universidad Militar Nueva Granada - Alcocer Sergio M. ; Universidad Nacional Autónoma de México - González Giovanni ; Universidad Militar Nueva Granada
|
|
113.
|
Obtaining superfine ethanol in a Cuban distillery, Obtención de alcohol extrafino en una destilería cubana Albernas Carvajal Yailet ; Universidad Central Marta Abreu de Las Villas - González Meilyn ; Universidad Central Marta Abreu de Las Villas - Corsano Gabriela ; Instituto de Desarrollo y Diseño (CONICET-UTN) - González Erenio ; Universidad Central Marta Abreu de Las Villas
|
|
114.
|
Applying Peleg's equation to modelling the kinetics of solid hydration and migration during soybean soaking, Aplicación de la ecuación de Peleg para modelar la cinética de hidratación y de migración de sólidos durante el remojo de soya Quicazán Marta Cecilia ; Universidad Nacional de Colombia - Caicedo Mesa Luis Alfonso ; Universidad Nacional de Colombia - Cuenca Martha María ; Universidad Nacional de Colombia
|
|
115.
|
Manoeuvre test simulation of a teleoperated robot designed for flow measurement in natural water bodies, Simulación de pruebas de maniobra para un robot teleoperado diseñado para medir caudales en cuerpos de agua naturales Díaz Gutiérrez Carlos Eduardo ; Universidad Tecnológica de Toluca - Segovia de los Ríos Jose Armando ; Instituto Nacional de Investigaciones Nucleares, México - Garduño Gaffare Mayra P. ; Instituto Tecnológico de Toluca - Benítez Read Jorge S. ; Instituto Nacional de Investigaciones Nucleares, México
|
|
116.
|
A programming environment having three levels of complexity for mobile robotics, Entorno de programación con tres niveles de complejidad para robótica móvil Giraldo Carlos Alberto ; ATOS International - Florian-Gaviria Beatriz ; Universidad del Valle - Bacca-Cortés Eval Bladimir ; Universidad del Valle - Gómez Felipe ; Universidad del Valle - Muñoz Francisco ; Universidad del Valle
|
|
117.
|
Design in the natural stone transformation sector: evaluating a new concept, El diseño en el sector de la transformación de las piedras naturales: eva-luación de un nuevo concepto Paixão-Barradas Susana ; Universitat Politècnica de València - Hernandis Ortuño Bernabé ; Universitat Politècnica de València - Agudo Vicente Begoña ; Universitat Politècnica de València - Dickie Isadora ; Universidade da Região de Joinville - Maciel Pacheco Karla Mazarelo ; Universidade Federal do Amazonas
|
|
118.
|
Threatened Neotropical mollusks: analysis of shape differences in three endemic snails from High Paraná River by geometric morphometrics, Threatened Neotropical mollusks: analysis of shape differences in three endemic snails from High Paraná River by geometric morphometrics Vogler, Roberto E; *División Zoología Invertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata. Paseo del Bosque s/n (B1900FWA), La Plata, Argentina. *Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET). - Beltramino, Ariel A; *División Zoología Invertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata. Paseo del Bosque s/n (B1900FWA), La Plata, Argentina. *Agencia Nacional de Promoción Científica y Tecnológica (ANPCyT). - Gutiérrez Gregoric, Diego E; *División Zoología Invertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata. Paseo del Bosque s/n (B1900FWA), La Plata, Argentina. *Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET). - Peso, Juana G; *Laboratorio de Plancton y Bentos, Facultad de Ciencias Exactas, Químicas y Naturales. Universidad Nacional de Misiones. Rivadavia 2370 (N3300LDX), Posadas, Argentina. - Griffin, Miguel; *División Paleozoología Invertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata. Paseo del Bosque s/n (B1900FWA), La Plata, Argentina. *Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET). - Rumi, Alejandra; *División Zoología Invertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata. Paseo del Bosque s/n (B1900FWA), La Plata, Argentina. *Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET).
|
|
119.
|
A composite energetics study for contrasting south west monsoon years in the recent decade, Título A composite energetics study for contrasting south west monsoon years in the recent decade DUTTA, S.; Centro de Ciencias de la Atmósfera, Universidad Nacional Autónoma de México - NARKHEDKAR, S. G. - DEVI, S. - SIKKA, D. R.
|
|
120.
|
An artificial neural network model application for the estimation of thermal comfort conditions in mountainous regions, Greece, An artificial neural network model application for the estimation of thermal comfort conditions in mountainous regions, Greece CHRONOPOULOS, K.; Centro de Ciencias de la Atmósfera, Universidad Nacional Autónoma de México - KAMOUTSIS, A. - MATSOUKIS, A. - MANOLI, E.
|
|
121.
|
Study of near surface boundary layer characteristics during pre-monsoon seasons using micrometeorological tower observations, Study of near surface boundary layer characteristics during pre-monsoon seasons using micrometeorological tower observations Chaudhuri, Sutapa; Department of Atmospheric Sciences, University of Calcutta, India - Middey, Anirban; Department of Atmospheric Sciences, University of Calcutta, India
|
|
122.
|
Analysis of the maximum daily temperature evolution on the Spanish Central Plateau, Analysis of the maximum daily temperature evolution on the Spanish Central Plateau LABAJO, J. L.; Centro de Ciencias de la Atmósfera, Universidad Nacional Autónoma de México - LABAJO, A. L. - EGIDO, M. - MARTÍN, Q. - MORALES, C. - ORTEGA, M. T.
|
|
123.
|
Analysis of interdecadal variability of temperature extreme events in Argentina applying EVT, Analysis of interdecadal variability of temperature extreme events in Argentina applying EVT TENCER, B.; Centro de Ciencias de la Atmósfera, Universidad Nacional Autónoma de México - RUSTICUCCI, M.
|
|
124.
|
Taking advantages of ontology and contexts to determine similarity of data Buccella, Agustina - Cechich, Alejandra - Rodríguez Brisaboa, Nieves
|
|
125.
|
EMTPL and its relation to first order logic Cobo, María Laura - Falappa, Marcelo Alejandro
|
|
126.
|
An extension of ArgoUML for the incorporation of profiles Pryor, Jane - Marcos, Claudia A. - Belloni, Edgardo A.
|
|
127.
|
Fuzzy prolog with default knowledge Vaucheret, Claudio A.
|
|
128.
|
Characterizing semantic web services Moyano, Marcelo - Buccella, Agustina - Cechich, Alejandra - Estevez, Elsa Clara
|
|
129.
|
Building dynamic WAP applications using UWE Soto, Ricardo - Rodríguez, Nibaldo - Palma, Wenceslao
|
|
130.
|
JAD-CASE Balda, María Verónica - Vicenzi, Ana Laura - Bertone, Rodolfo Alfredo - De Giusti, Armando Eduardo
|
|
131.
|
A reverse engineering approach to framework comprehension Campo, Marcelo - Price, Tom
|
|
132.
|
Ethic and bioethic dilemmas on palliative care for hospitalized elderly: nurses’ experience, Dilemas éticos y bioéticos en los cuidados paliativos de mayores hospitalizados: vivencia de enfermeras, Dilemas éticos e bioéticos nos cuidados paliativos de pessoas idoas hospitalizadas: vivencia de enfermeras Bezerra do Amaral, Juliana - Menezes, Maria do Rosário de - Martorell-Poveda, Maria Antonia - Cardoso Passos, Simone
|
|
133.
|
Computing support for virtual communities of practice Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas
|
|
134.
|
A hybrid data structure for searching in metric spaces Herrera, Norma Edith - Reyes, Nora Susana - Chávez, Edgar
|
|
135.
|
ODE: ontology-based software development environment Falbo, Ricardo de Almeida - Natali, Ana Candida Cruz - Mian, Paula Gomes - Bertollo, Gleidson - Ruy, Fabiano Borges
|
|
136.
|
Analysis of two indexing structures for textual databases Marín, Mauricio - Bonacic, Carolina - Casas, Sandra
|
|
137.
|
A functional approach for in line analytical processing Necco, Claudia Mónica - Quintas, Luis - Nuno Olivera, J.
|
|
138.
|
A very early estimation of software development time and effort using neural networks Luna, Carlos Daniel - Segovia, Javier - Salvetto, Pedro F. - Martínez, Milton F.
|
|
139.
|
Building hypermedia artifacts by the systematic use of the flexible process model Olsina Santos, Luis Antonio
|
|
140.
|
Are the existing training corpora unnecessarily large?, ¿Son los corpora de dependencias innecesariamente grandes? Ballesteros Martínez, Miguel - Herrera de la Cruz, Jesús - Francisco Gilmartín, Virginia - Gervás Gómez-Navarro, Pablo
|
|
141.
|
Labeling semantically motivated clusters of verbal relations, Etiquetado de clusters de relaciones verbales motivados semánticamente Ferraro, Gabriela - Wanner, Leo
|
|
142.
|
Dynamic selection of suitable pivots for similarity search in metric spaces Deco, Claudia - Salvetti, Mariano - Reyes, Nora Susana - Bender, Cristina
|
|
143.
|
Evaluation proposal based on the ECTS: evaluating the four skills in a University core subject with a portfolio, Propuesta de evaluación basada en el ECTS: evaluación de las cuatro destrezas por medio de un portafolio en una asignatura obligatoria en la Universidad Martínez Lirola, María
|
|
144.
|
Quality of pharmaceutical advertising and gender bias in medical journals (1998-2008): a review of the scientific literature, Calidad de la publicidad de fármacos y sesgos de género en las revistas de medicina (1998-2008): revisión de la literatura científica Cambronero Saiz, Belén - Ruiz Cantero, María Teresa - Papí Gálvez, Natalia
|
|
145.
|
Trends in tariff reforms and trends in the structure of wages Galiani, Sebastian - Porto, Guido
|
|
146.
|
Formalising sharing mechanisms in object-oriented paradigm Argarañaz, Verónica - Baum, Gabriel Alfredo - Pons, Claudia - Presso, María José - Prieto, Máximo - Romero, Natalia
|
|
147.
|
Classification rules obtained from dynamic self-organizing maps Hasperué, Waldo - Lanzarini, Laura Cristina
|
|
148.
|
Software process improvement behavior of small and medium organizations in Argentina Colla, Pedro E. - Montagna, Jorge Marcelo
|
|
149.
|
A Semi-Automatic Method for Ontology Mapping Perez, Laura Haide - Cechich, Alejandra - Buccella, Agustina
|
|
150.
|
Developing a Repository of Knowledge for virtual communities with semantic web technologies Casalini, María Clara - Estevez, Elsa Clara - Fillottrani, Pablo Rubén
|
|
151.
|
Program slicing based on sentence executability Cavadini, Salvador V. - Cheda, Diego A.
|
|
152.
|
Software projects effort estimation using “use case points” method in the context of Project Management Body of Knowledge Montejano, Germán Antonio - Uzal, Roberto - Riesco, Daniel Eduardo - Debnath, Narayan C.
|
|
153.
|
Artificial nutritional support registries: systematic review, Los registros de soporte nutricional artificial: revisión sistemática Castelló Botía, Isabel - Wanden-Berghe, Carmina - Sanz Valero, Javier
|
|
154.
|
Combining methods for searches in nested metric spaces Gercek, Hugo - Reyes, Nora Susana - Deco, Claudia - Bender, Cristina - Salvetti, Mariano
|
|
155.
|
Decision support system for seismic risks Somodevilla, María J. - Nava, Angélica - Pineda, Ivo H. - Priego, Ángeles Belém - Castillo, Esteban
|
|
156.
|
Ontologies for the semantic web Vallés, María Clara - Fillottrani, Pablo Rubén
|
|
157.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
|
158.
|
Messaging infrastructure for Electronic Government: background, rationale, objectives Estevez, Elsa Clara - Janowski, Thomas - Fillottrani, Pablo Rubén
|
|
159.
|
Applying an ontology on data integration Buccella, Agustina - Cechich, Alejandra - Brisaboa, Nieves R.
|
|
160.
|
Evolution of product line architectures Amaolo, Marcelo Paulo
|
|
161.
|
Tool support for verifying applications using object-oriented patterns Aranda, Gabriela N. - Flores, Andrés P. - Buccella, Agustina - Reynoso, Luis A.
|
|
162.
|
Methods for measurement-based COTS assessments and selection Cechich, Alejandra - Piattini Velthuis, Mario
|
|
163.
|
An extension to EMTPL Cobo, María Laura - Falappa, Marcelo Alejandro
|
|
164.
|
A framework for defining and checking constraints in requirement gathering and definition Gómez, Rodolfo - Fillottrani, Pablo Rubén
|
|
165.
|
Moodelling of processes and formal methods Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto
|
|
166.
|
A data mining approach to computational taxonomy Perichinsky, Gregorio - García Martínez, Ramón
|
|
167.
|
Using web-site QEM to measure the quality of sites Olsina Santos, Luis Antonio - Lafuente, Guillermo Javier - Lafuente, Gustavo - Rossi, Gustavo
|
|
168.
|
Selecting COTS components: a comparative study on E-Payment systems Cechich, Alejandra - Taryano, Karina
|
|
169.
|
An ontological approach to federated data integration Buccella, Agustina - Cechich, Alejandra - Brisaboa, Nieves R.
|
|
170.
|
Mapeando modelos conceituais dimensionais OO para modelos lógicos dimensionais relacionais Carvalho, Rogerio Atem de - Tanaka, Asterio K. - Colonese, Giovanni
|
|
171.
|
Classifying groupware tools to improve communication in geographically distributed elicitation Martín, Adriana - Martinez, Claudia - Martínez Carod, Nadina - Aranda, Gabriela N. - Cechich, Alejandra
|
|
172.
|
Design of a service-oriented architecture for federated systems Calegari, Daniel - Viera, Marcos - Motz, Regina
|
|
173.
|
Caracterización mecánica de morteros de cemento Portland con breas de petróleo y de alquitrán de carbón, Mechanical characterization of Portland cement mortars containing petroleum or coal tar Alcaide Romero, Juan - García Alcocel, Eva María - Vilaplana Ortego, Eduardo - Cazorla Amorós, Diego - Garcés Terradillos, Pedro
|
|
174.
|
Contributions to social security in Argentina, Chile and Uruguay: densities, transitions and duration Sanromán, Graciela - Rossi, Ianina - Grushka, Carlos - Fajnzylber, Eduardo - Apella, Ignacio - Forteza, Álvaro
|
|
175.
|
A UML Profile for Documenting the Component-and-Connector Views of Software Architectures Anacleto, Valerio Adrián
|
|
176.
|
A new nomenclatural combination in Malva L. (Malvaceae) Juan Gallardo, Ana Isabel - Crespo Villalba, Manuel Benito
|
|
177.
|
Fauna and distribution of Bulgarian Phygadeuontini (Hymenoptera: Ichneumonidae: Cryptinae), Fauna y distribución de los Phygadeuntonini (Hymenoptera: Ichneumonidae: Cryptinae) Kolarov, Janko - Bordera Sanjuán, Santiago
|
|
178.
|
Integrating federated information sources through the use of ontologies Buccella, Agustina - Cechich, Alejandra - Penabad, Miguel R. - Rodriguez, Francisco J. - Brisaboa, Nieves R.
|
|
179.
|
The software architecture role in agile methodologies Anacleto, Valerio Adrián
|
|
180.
|
Improving use case definition using enterprise communication networks Luzuriaga, Juan Manuel
|
|
181.
|
A methodology for software documentation Torres Júnior, Roberto Dias - Ahlert, Hubert
|
|
182.
|
Nineteen sixties history of data base management Olle, T. William
|
|
183.
|
Data modeling dealing with uncertainty in fuzzy logic Urrutia Sepúlveda, Angélica - Galindo, José - Jiménez, Leoncio - Piattini Velthuis, Mario
|
|
184.
|
Formal specifications in component-based development Estevez, Elsa Clara - Fillottrani, Pablo Rubén
|
|
185.
|
A systematic approach to generate test cases based on combinations of information Sánchez, Marisa - Felder, Miguel
|
|
186.
|
Modeling public business processes with interaction protocols in business-to-business relationships Villareal, Pablo - Chiotti, Omar Juan Alfredo - Salomone, Enrique
|
|
187.
|
Nomenclatural changes in Apteranthes Mikan (Asclepiadoideae, Apocynaceae) Crespo Villalba, Manuel Benito
|
|
188.
|
Towards a reverse engineering approach for guiding user in applying data mining Espinosa, Roberto - Mazón López, José Norberto - Zubcoff Vallejo, José Jacobo
|
|
189.
|
Integrating the development of data mining and data warehouses via model-driven engineering Zubcoff Vallejo, José Jacobo - Pardillo Vela, Jesús - Mazón López, José Norberto - Trujillo Mondéjar, Juan Carlos
|
|
190.
|
Taxonomic evidence applying algorithms of intelligent data mining Perichinsky, Gregorio - Servente, Magdalena - Servetto, Arturo Carlos - García Martínez, Ramón - Orellana, Rosa Beatriz - Plastino, Ángel Luis
|
|
191.
|
Project line: formally specifying the domain of balanced scorecard Montejano, Germán Antonio - Uzal, Roberto - Riesco, Daniel Eduardo - Dasso, Aristides - Funes, Ana
|
|
192.
|
Spectra in taxonomic evidence in databases III Plastino, Ángel Luis - Orellana, Rosa Beatriz - Perichinsky, Gregorio
|
|
193.
|
Integrated environment of systems automated engineering Servetto, Arturo Carlos - García Martínez, Ramón - Perichinsky, Gregorio
|
|
194.
|
An argumentation framework with uncertainty management designed for dynamic environments Capobianco, Marcela - Simari, Guillermo Ricardo
|
|
195.
|
Mineral compositions visualization implementing the spinel prism Ganuza, María Luján - Castro, Silvia Mabel - Martig, Sergio R. - Bjerg, Ernesto - Ferracutti, Gabriela
|
|
196.
|
Proposal of an ontology based web search engine Deco, Claudia - Bender, Cristina - Ponce, Adrián
|
|
197.
|
Semantic Interoperability Middleware – enabling collaborative networks in public sector Sanchez, Alejandro - Estevez, Elsa Clara - Janowski, Thomas - Ojo, Adegboyega
|
|
198.
|
Collaborative problem solving in virtual communities of practice Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas
|
|
199.
|
Defining the proxy design pattern using UML profile Garis, Ana Gabriela - Riesco, Daniel Eduardo - Montejano, Germán Antonio
|
|
200.
|
Model checking RAISE applicative specifications Perna, Juan I. - George, Chris W.
|
