8th International Conference on
Mathematics of Program Construction
MPC/AMAST '06
Kuressaare, Estonia, 2-8 July 2006
11th International Conference on Algebraic Methodology
and Software Technology
|
8th International Conference on
Mathematics of Program Construction
MPC/AMAST '06
11th International Conference on Algebraic Methodology
and Software Technology
|
|