Home Advanced Search

Advanced Search - Page 1

Program Development by Refinement: Case Studies Using the B Method
  • PDF
  • English
  • Year: 1999
  • Author: Ken A. Robinson (auth.), Emil Sekerinski, Kaisa Sere (eds.)
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)
Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
Fast Software Encryption: 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Kaisa Nyberg (auth.), Anne Canteaut (eds.)
Multiobjective Optimization: Interactive and Evolutionary Approaches
  • PDF
  • English
  • Year: 2008
  • Author: Kaisa Miettinen (auth.), Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński (eds.)
Multiobjective Optimization: Interactive and Evolutionary Approaches
  • PDF
  • English
  • Year: 2008
  • Author: Kaisa Miettinen (auth.), Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński (eds.)
Multiobjective Optimization: Interactive and Evolutionary Approaches
  • PDF
  • English
  • Year: 2008
  • Author: Kaisa Miettinen (auth.), Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński (eds.)
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: R. J. R. Back, K. Sere (auth.), Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
search