Home Advanced Search

Advanced Search - Page 1

Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: Third International Workshop, WSA '93, ... 3rd
  • DJVU
  • English
  • Year: 1993
  • Author: Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier (auth.), Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (eds.)
Principles of abstract interpretation
  • EPUB
  • English
  • Year: 2021
  • Author: Patrick Cousot
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Moreno Falaschi (eds.)
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Patrick Cousot (auth.), Radhia Cousot (eds.)
Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Martin Rinard (auth.), Patrick Cousot (eds.)
Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012
  • PDF
  • English
  • Year: 2013
  • Author: Manfred Broy (auth.), Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy (eds.)
Cryptography and Coding: 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Antoine Amarilli, David Naccache, Pablo Rauzy, Emil Simion (auth.), Liqun Chen (eds.)
Cryptography and Coding: 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Antoine Amarilli, David Naccache, Pablo Rauzy, Emil Simion (auth.), Liqun Chen (eds.)
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.)
search