Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures Cavalcanti Ana Heftet / 2006 / Engelsk
Dependable Software Engineering. Theories, Tools, and Applications 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings Qin Shengchao Heftet / 2021 / Engelsk
