.:. Consultation > Par auteur > Andrieu .:.

2 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

SToP : Scalable Termination analysis of (C) Programs (tool presentation) Andrieu G., Alias C., Gonnord L. Dans Tapas 2012 (2012) [hal-00760926 - version 1]

SToP: Scalable Termination Analysis of (C) Programs (tool presentation) Andrieu G., Alias C., Gonnord L. Dans International Workshop on Tools for Automatic Program Analysis (TAPAS '12) (2012) [hal-00761513 - version 1]