Fiche d'une revue

22nd annual IEEE symposium on Logic in Computer Science73188