Home Advanced Search

Advanced Search - Page 1

FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: José Luiz Fiadeiro (auth.), Zhiming Liu, Keijiro Araki (eds.)
RIMS Symposia on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
  • PDF
  • English
  • Year: 1986
  • Author: Etsuya Shibayama (auth.), Eichi Goto, Keijiro Araki, Taiichi Yuasa (eds.)
RIMS Symposia on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
  • DJVU
  • English
  • Year: 1986
  • Author: Etsuya Shibayama (auth.), Eichi Goto, Keijiro Araki, Taiichi Yuasa (eds.)
Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Stefania Gnesi, Arend Rensink (eds.)
IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
  • PDF
  • English
  • Year: 1999
  • Author: He Jifeng (auth.), Keijiro Araki PhD, Andy Galloway PhD, MSc,BSc(Hons), Kenji Taguchi MA (eds.)
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)
search