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 CSP
Z
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
·
abstract in portuguese
|
english
·
text in portuguese
page 1 of 1
Refine the search
Database :
article
Advanced form
Search for :
Free form
Basic form
Search
in field
1
All indexes
Title words
Author
Subject
Abstract
Publication year
Clinical Trials Registry
Article type
Affiliation - Organization
Affiliation - Country, Country
Geographic areas
2
and
or
and not
All indexes
Title words
Author
Subject
Abstract
Publication year
Clinical Trials Registry
Article type
Affiliation - Organization
Affiliation - Country, Country
Geographic areas
3
and
or
and not
All indexes
Title words
Author
Subject
Abstract
Publication year
Clinical Trials Registry
Article type
Affiliation - Organization
Affiliation - Country, Country
Geographic areas
Search engine:
iAH
powered by
WWWISIS
BIREME/PAHO/WHO - Latin American and Caribbean Center on Health Sciences Information
