Algebraic Methodology and Software Technology : 10th International Conference...

Yahav - Hardware and Software Verification and Testing 10th Interna - X555z

Bergenti - Methodologies and Software Engineering for Agent Systems - X555z

Haeberer - Algebraic Methodology and Software Technology 7th Interna - X555z

Algebraic Methodology and Software Technology : 10th International Conference...

Kirchner - Algebraic Methodology and Software Technology 9th Interna - X555z

Meseguer - Algebraic Methodology and Software Technology 12th Interna - X555z

Nivat - Algebraic Methodology and Software Technology AMAST'93 Pro - X555z