%0 Journal Article %A Guessarian, Irène %T Les tests et leur caractérisation syntaxique %J RAIRO. Informatique théorique %D 1977 %P 133-156 %V 11 %N 2 %I Centrale des revues, Dunod-Gauthier-Villars %C Montreuil %U http://www.numdam.org/item/ITA_1977__11_2_133_0/ %G fr %F ITA_1977__11_2_133_0