Algebraic Methodology and Software Technology : 7th International Conference,...

Havelund - SPIN Model Checking and Software Verification 7th Interna - X555z

Rattray - Algebraic Methodology and Software Technology 10th Interna - X555z

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

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

Mnch - Product-Focused Software Process Improvement 7th Internation - X555z

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