Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers Liu Zhiming Heftet / 2005 / Engelsk
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings Liu Shaoying Heftet / 2008 / Engelsk
FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Araki Keijiro Heftet / 2003 / Engelsk
RIMS Symposium on Software Science and Engineering II Proceedings of the Symposia 1983 and 1984, Kyoto, Japan Goto Eiichi Heftet / 1986 / Engelsk
IFM’99 Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999 Araki Keijiro Heftet / 1999 / Engelsk
High Performance Computing International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings Polychronopoulos Constantine Heftet / 1997 / Engelsk
