Home Advanced Search

Advanced Search - Page 1

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Wolfgang Thomas (auth.), P. Madhusudan, Sanjit A. Seshia (eds.)
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Farhad Arbab (auth.), Markus Lumpe, Wim Vanderperren (eds.)
Software Composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Markus Lumpe (auth.), Cesare Pautasso, Éric Tanter (eds.)
Software Composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Markus Lumpe (auth.), Cesare Pautasso, Éric Tanter (eds.)
search