Automated Software Generation Approaches for the Design and ...
TEM -- ITEM -+ BOOLEAN:: for all x, y. z: ITEM x,y and y~z -*x<z; package LISTS is ... axiom:: for all 1, 11, 12: LIST x1, x2: ITEM. =I <= I & 12, x1 < x2-+ I ... 
Autres Cours:
