International Conference on Algebraic Methodology and Software Technology
-
2010
AMAST 2010
- 23-25 June
- Lac-Beauport, QC, Canada
-
Algebraic Methodology and Software Technology
15 Papers
1 Volume
-
2008
AMAST 2008
- 28-31 July
- Urbana, IL, USA
-
Algebraic Methodology and Software Technology
31 Papers
1 Volume
-
2006
AMAST 2006
- 5-8 July
- Kuressaare, Estonia
-
Algebraic Methodology and Software Technology
30 Papers
1 Volume
-
2004
AMAST 2004
- 12-16 July
- Stirling, United Kingdom
-
Algebraic Methodology and Software Technology
41 Papers
1 Volume
-
2002
AMAST 2002
- 9-13 September
- Saint-Gilles-les-Bains, Reunion, France
-
Algebraic Methodology and Software Technology
34 Papers
1 Volume
-
2000
AMAST 2000
- 20-27 May
- Iowa City, IA, USA
-
Algebraic Methodology and Software Technology
37 Papers
1 Volume
-
1999
AMAST 1999
- 4-8 January
- Amazonia, Brazil
-
Algebraic Methodology and Software Technology
38 Papers
1 Volume
-
Formal Methods for Real-Time and Probabilistic Systems
20 Papers
1 Volume
-
1997
AMAST 1997
- 13-17 December
- Sydney, NSW, Australia
-
Transformation-Based Reactive Systems Development
28 Papers
1 Volume
-
Algebraic Methodology and Software Technology
47 Papers
1 Volume
-
1996
AMAST 1996
- 1-5 July
- Munich, Germany
-
Algebraic Methodology and Software Technology
60 Papers
1 Volume
-
1995
AMAST 1995
- 3-7 July
- Montreal, QC, Canada
-
Algebraic Methodology and Software Technology
42 Papers
1 Volume