US-Brazil joint workshops on The formal foundations of software systems, Rio de Janeiro, Brazil, May 5--9, 1997 and New Orleans, LA, USA, November 13--16, 1997 (Q1279538)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: US-Brazil joint workshops on The formal foundations of software systems, Rio de Janeiro, Brazil, May 5--9, 1997 and New Orleans, LA, USA, November 13--16, 1997 |
scientific article; zbMATH DE number 1249429
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | US-Brazil joint workshops on The formal foundations of software systems, Rio de Janeiro, Brazil, May 5--9, 1997 and New Orleans, LA, USA, November 13--16, 1997 |
scientific article; zbMATH DE number 1249429 |
Statements
US-Brazil joint workshops on The formal foundations of software systems, Rio de Janeiro, Brazil, May 5--9, 1997 and New Orleans, LA, USA, November 13--16, 1997 (English)
0 references
7 February 1999
0 references
The articles of this volume will be reviewed individually.
0 references
Rio de Janeiro (Brazil)
0 references
New Orleans, LA, (USA)
0 references
Formal foundations
0 references
Software systems
0 references
Workshop
0 references
Proceedings
0 references
