Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings Shankar Natarajan Heftet / 2008 / Engelsk
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions Meyer, Bertrand Heftet / 2008 / Engelsk
Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings Dong Jin Song Heftet / 2003 / Engelsk
Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers Oliveira, Marcel Vinícius Medeiros Heftet / 2009 / Engelsk
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures Liu Zhiming Heftet / 2013 / Engelsk
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Liu Zhiming Heftet / 2013 / Engelsk
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
Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings Liu Zhiming Heftet / 2013 / 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
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures George Chris Heftet / 2007 / Engelsk
