Home Advanced Search

Advanced Search - Page 1

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)
Male Criminal Activity from Childhood Through Youth: Multilevel and Developmental Perspectives
  • PDF
  • English
  • Year: 1989
  • Author: Marc Le Blanc, Marcel Fréchette (auth.), Marc Le Blanc, Marcel Fréchette (eds.)
Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013
  • PDF
  • English
  • Year: 2014
  • Author: John Fitzgerald, Peter Gorm Larsen, Jim Woodcock (auth.), Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.)
Decision Procedures: An Algorithmic Point of View
  • PDF
  • English
  • Year: 2016
  • Author: Daniel Kroening, Ofer Strichman (auth.)
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
  • PDF
  • English
  • Year: 2015
  • Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
  • PDF
  • English
  • Year: 2015
  • Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)
search