Seminar on Rigorous Methods for Software Construction and Analysis Conference

Scholarly Activity

related documents

On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages Conferences