Giovanny Lucero

Giovanny Lucero

Universidade Federal de Sergipe UFS - Sao Cristovao / Brazil
Engineering & Technology / Computer Science
AD Scientific Index ID: 5333098
Federal University of Sergipe
person_outline Giovanny Lucero's MOST POPULAR ARTICLES
1-) An E-LOTOS specification of the ODP Trader. Input document (GR1) to the ISOG Lucero, J QuemadaIEC JTC1/SC21/WG7/E-LOTOS meeting in Grenoble, 199641996
2-) Specifying the ODP trader: An introduction to E-LOTOSGF Lucero, J QuemadaFormal Description Techniques and Protocol Specification, Testing and …, 199731997
3-) Algebraic laws for object oriented programming with referencesGFL PalmaUniversidade Federal de Pernambuco, 201512015
4-) Laws of Programming for ReferencesG Lucero, D Naumann, A SampaioProgramming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 201312013
5-) An E-LOTOS specification of the ODP traderGF Lucero, J Quemadahttp://lotos. csi. uottawa. ca/~ lotos/elotos/, 19961996