Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.

Juan Quemada

Browse the full FORTE paper archive.