alphabetic list of serialssubject list of serialsserials search author indexsubject index
Library collection

Database : article
Search on : SAMPAIO, AUGUSTO [Author]
References found : 4 [refine]
Displaying: 1 .. 4   in format [ISO 690]

page 1 of 1


   1 / 4
select
to print
 Farias, Adalberto, Mota, Alexandre and Sampaio, Augusto Compositional abstraction of CSPZ processes. J. Braz. Comp. Soc., 2008, vol.14, no.2, p.23-44. ISSN 0104-6500
    · abstract in english    · text in english


   2 / 4
select
to print
 Cabral, Gustavo and Sampaio, Augusto Automated formal specification generation and refinement from requirement documents. J. Braz. Comp. Soc., Mar 2008, vol.14, no.1, p.87-106. ISSN 0104-6500
    · abstract in english    · text in english


   3 / 4
select
to print
 Cavalcanti, Ana, Sampaio, Augusto and Woodcock, Jim Procedures and Recursion in the Refinement Calculus. J. Braz. Comp. Soc., July 1998, vol.5, no.1, p.00-00. ISSN 0104-6500
    · abstract in english    · text in english


   4 / 4
select
to print
 Sampaio, Augusto and Pippi, Ney Luis Avaliação da viabilidade de intestino delgado com isquemia experimental pelo uso de fluoresceína sódica em eqüinos. Cienc. Rural, Jun 1997, vol.27, no.2, p.269-272. ISSN 0103-8478


page 1 of 1
   


Refine the search
  Database : article Advanced form   
Search for : Free form    Basic form

    Search in field  
1  
2
3
 
           



Search engine: iAH powered by WWWISIS

BIREME/PAHO/WHO - Latin American and Caribbean Center on Health Sciences Information