Recherche

Collections:

Format:

Type de document:

  • 9
  • 7
  • 2
  • 2

Laboratoire:

  • 13
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
show all

Année de publication:

  • 1
  • 1
  • 1
  • 2
  • 2
  • 6
  • 6
show all

Journal:

  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
show all

Type de document:

  • 9
  • 7
  • 2
  • 2

Laboratoire:

  • 13
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
show all

Année de publication:

  • 1
  • 1
  • 1
  • 2
  • 2
  • 6
  • 6
show all

Journal:

  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
show all
Infoscience 20 notices trouvées 1 - 10suivant  aller vers la notice: La recherche a duré 0.07 secondes. 
1.
2.
3.
4.
Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (2005)
2005 | Conference Papers |
5.
International Static Analysis Symposium (2004)
2004 | Conference Papers |
6.
Verification, Model Checking and Abstract Interpretation (2007)
2007 | Conference Papers |
7.
Workshop on Abstract Interpretation of Object-Oriented Languages (2005)
2005 | Conference Papers |
8.
Sixth International Conference on Formal Engineering Methods (2004)
2004 | Conference Papers |
9.
Proc. Int. Conf. Verification, Model Checking, and Abstract Interpratation (2006)
2006 | Conference Papers |
10.
Microelectronics International, 31 (3), 143-148 (2014)
2014 | Journal Articles |

Vous désirez être averti des nouveaux résultats pour cette recherche?
Abonnez-vous à une alerte email personnalisée ou inscrivez-vous via le flux RSS.