Refinement Techniques in Software Engineering: F, , Excellent

Refinement Techniques in Software Engineering: First Pernambuco Summer School on

Refinement in Z and Object-Z

Lmmel - Generative and Transformational Techniques in Software Engine - X555z

Buchs - Rapid Integration of Software Engineering Techniques Third I - X555z

Anichini - Voices of the Body. Liminal Grammar in Guido Cavalcanti's R - X555z

Wehrung - Refinement Monoids Equidecomposability Types and Boolean I - X555z